20/01/02 08:44:05 lJNP8tAT.net
>>183再掲
◆e.a0E5TtKEの(>>176の)言い分では
「ノイマンのωの一番右の要素中の一番右のΦを残すように
不要の{}とΦを除く操作を実施すれば
Zermeloのシングルトンωが生成される」
となるが、実は致命的な欠陥がある
ωには「一番右の要素」が存在しない！
（つまりωは後続順序数ではない！）
したがって◆e.a0E5TtKEのナイーブな直感による
「アルゴリズム」は、ノイマンのωの中の
ありもしない「一番右の要素」を探しにいったまま
永遠に戻ってこない