多くの要素をもつことができてしまう。有限集合ではない(すなわち無限集合である)ため、無限公理を採用すれば直ちに無限集合の存在を認めることになる。上記の手続きはペアノの公理における自然数の構成方法と同様である。ZFC公理系において、自然数全体の集合は無限集合の中で最小のものである。(可算集合)独立性[編集]無限公理はZF公理系において独立した公理である。ZF公理系の他の公理たちから導くことも反証することもできない。(日時は個人設定で未設定ならばUTC)。表示-継承ライセンスの下で利用可能です。追加の条件が適用される場合があります。詳細は利用規約を参照してください。Cookieに関する声明モバイルビュ。