「算術の基礎」
Friedrich Ludwig Gottlob Frege
著
フレーゲの独自の数の理論の研究
数学用語を論理学に落とし込んでいく
論理主義
をやる
文脈原理
ヒュームの原理
概念の外延
外延
は雑に言えば「具体例」と言い換えられる
mrsekut.icon
図形AとBが相似であることを、以下のように表現する
「Aと相似」の概念の外延は、「Bと相似」という概念の外延に等しく、逆のこの2つの外延が等しければ図形AとBは相似である
参考
https://ja.wikipedia.org/wiki/算術の基礎
http://ambos.hatenablog.com/entry/2015/01/06/085222
全章(?)の抄訳がある
『論理の哲学』
6章