>>896
ピエロちゃん、ありがとうよ
>>876-877は、なかなか良いアシストだったよ
おかげで、フォン・ノイマンの正則性公理と数学的帰納法および超限帰納法との関係がわかったわ(^^
>>884-889 ご参照)