公理 ZF公理系 に 選択公理 を加えたもの 集合同士の「等しさ」を規定する公理: 外延性の公理 特殊な集合の存在を保証する定理: 空集合, 無限集合の公理 既存の集合から別の集合を作れることを保証する公理: 対, 和, 冪, 置換, 選択公理 パラドクスを回避する公理: 正則性 参考文献 数学用語の基本のキ（番外）集合のつくり方 - YouTube