19/10/09 12:34:45.34 rFFSRADX.net
>>216
ダメですね。
まず
x: ordered number in the sence of Zermelo
が論理式として定義されていません。
>>18の定義にある通り、そここそがNeumannのordered numberのすごいところで多くの基礎論における順序数の構成でNeumannのスタイルが採用される所以です。
まぁ仮にそこがなんとかなったとしても
E'={0',1',2'‥‥}∪{他の元}
からZermelo ordered number以外を切り落としてもえられるのは
{0',1',2',‥}
の形にしかなりません。
コレはΩではないですよね？