数学的帰納法は循環論法では？

56: 2024/10/29(火)09:00 ID:9s3aH7al(1)調 AAS
実数体の部分集合Hが以下の条件を満たすとき継承的集合という。
(1) 0∈H
(2) h∈H ⇒ h+1∈H

自然数全体の集合をあらゆる継承的集合の共通部分と定義することで数学的帰納法を証明できる。