>>729
ふーん、でもそれ結局
「ｎの部分集合が空でないなら
　０を要素に持つか、あるｎが存在して
　ｎ未満を要素に持たず、ｎを要素として持つ」
を示す必要があるだろ？　で、上記は
「ｎの部分集合が、０を要素に持たず
　ｎ未満を要素として持たないとき、ｎも要素として持たないならば、
　いかなる自然数も要素としないから、空集合である」
という命題の対偶なんだな
ほら、やっぱり>>663って素直じゃん（ニヤリ）

>>730　大したことではないな