>>105
「数学的帰納法の成り立つ集まりの要素」を使って、そこから有限集合を定義するんだぞ？
そんな基本的な状況すら理解せずここまで来たのか？
松坂和夫には書いてなかったと思うけど、ωと表される集合な（ω無矛盾性のωの由来）