2009-05-23 無限の公理(Infinity) 集合論 無限の公理 この を帰納的集合(inductive set)と呼びます. あとで述べる自然数の定義から, 帰納的集合は自然数全体の集合を含むことが分かります. 帰納的集合は無限集合ですが, 無限集合の概念はしっかりと定義する必要があります.