英
数学の基礎論
集合論
[3]
形式論理
公理的集合論
自然言語
離散数学
数学的集合
ベン図
ブール代数
[4]
数
関係
関数
方法

自然言語
集合論
ゲオルク・カントール
[5]
ゴットロープ・フレーゲ
ポール・ハルモス
カントール
ラッセルのパラドックス
フレーゲ
[6]
ジュゼッペ・ペアノ
[7]
リヒャルト・デーデキント
パラドックス

パラドックス
ラッセルのパラドックス
カントールの理論

ゲオルク・カントール
カントールのパラドックス
[8]
ブラリ＝フォルティのパラドックス
[9]
[10]
基数
バートランド・ラッセル
公理的理論

公理的集合論
無矛盾性

ツェルメロ＝フレンケル集合論
ゲーデルの不完全性定理
一階述語論理
ラッセルのパラドックス
ゲーデルの定理
要出典
利用

選択公理
集合、帰属関係、同一性

整数

カントール

ジュゼッペ・ペアノ
無矛盾性に関する注意

フォン・ノイマン宇宙
帰属関係

ジュゼッペ・ペアノ
イプシロン
同一性

等しい
外延性の公理
素数
空集合

空集合
空集合の公理
[11]
集合の特定

対の公理
多重度
実数
関数型プログラミング
整数
偶数
分出公理
置換公理
部分集合

部分集合