数学
集合
英語
自然数
全単射
空集合
英語
無限集合
濃度
元
整数
素数
真部分集合
デデキント有限集合
可算選択公理
選択公理
同値
可算
有限集合の構成

和集合
冪集合
部分集合
直積集合
無限公理
有限性の必要十分条件

ツェルメロ＝フレンケルの集合論
カジミェシュ・クラトフスキ
冪集合
族
アルフレト・タルスキ
選択公理
リヒャルト・デーデキント
極大元
基礎付け問題

ゲオルク・カントール
無限公理
ツェルメロ＝フレンケルの公理的集合論
ゲーデルの不完全性定理
ペアノ算術
一階述語論理
集合
形式体系
ツェルメロ＝フレンケルの公理系
ZF に選択公理を加えたもの
NBG集合論
非有基的集合論
バートランド・ラッセル
型理論
直観論理
形式主義
自然数
集合
自然数
全単射
集合論
自然数
自然数
リヒャルト・デーデキント
カジミェシュ・クラトフスキ
デデキント無限集合
冪集合
空集合
単集合
関連項目

ペアノの公理
順序数
有限
参考文献

表
話
集合論
集合
元
包含関係
内包と外延
クラス
ベン図
演算
和集合
非交和
共通部分
素集合
直積集合
分割
補集合
差集合
対称差
冪集合
ド・モルガンの法則
集合の代数学
関係
反射関係
推移関係
推移閉包
対称関係
非対称関係
反対称関係
完全関係
同値関係