0663132人目の素数さん垢版 | 大砲2019/09/29(日) 14:42:28.70ID:s0bEnY0r >>658 >>661はなし。>>659の >すると、N≠Φ だが、0について、任意の正整数xに対し 0∈x となって正則性公理に反する。 の部分は >すると、任意の2以上の正整数xについて x≠Φ、0∈x だが、 >任意の x-1 以下の正整数tに対して、0∈t となって正則性公理に反する。 に訂正。