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

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