Similar to 折り紙公理
実数の連続性
Completeness of the real numbers
正則性公理
Axiom of regularity
置換公理
Axiom schema of replacement
対の公理
Axiom of pairing
ブラムの公理
Blum axioms
ペアノの公理
Peano axioms
冪集合公理
Axiom of power set
無限公理
Axiom of infinity
レーブの定理
Löb's theorem
和集合の公理
Axiom of union