無限公理

3行要約

1. 要素が無限に存在する集合が少なくとも一つ存在することを保証する公理。
2. 自然数の集合を定義するために不可欠であり、現代数学の基礎を支える。
3. この公理を認めない立場もあり、数学の哲学的な議論の対象となる。