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

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

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

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

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

表
話
集合論
集合
元
包含関係
内包と外延
クラス
ベン図
演算
和集合
非交和
共通部分
素集合
直積集合
分割
補集合
差集合
対称差
冪集合
ド・モルガンの法則
集合の代数学
関係
反射関係
推移関係
推移閉包
対称関係
非対称関係
反対称関係
完全関係
同値関係
同値類
well-defined
整礎関係
逆関係
関係の合成
写像
定義域
終域
値域
単射
全射
全単射
逆写像
像と逆像
恒等写像
制限
包含写像
合成
射影
商写像
指示関数
配置集合
族
添字集合
順序対
順序組
列
集合族
グラフ
部分写像
対応
順序
前順序
有向
半順序
全順序
整列
稠密
有界
単調写像
辞書式順序
順序型
推移的集合
順序数
0
後続
極限
自然数
ハッセ図
超限帰納法
ツォルンの補題
整列可能定理
整礎的集合