第一定義不能順序数は、Googology Wiki 英語版に First undefinable ordinal として掲載され、2014年5月28日に削除された順序数である。削除された理由は、以下の2つである[1]

  • Its name makes people think of the truly undefinable ordinals, and not undefinable in some formal system, which leads to pretty serious paradoxes. (その名前は真に定義不能な順序数のことを人々に考えさせ、いくつかの形式的なシステムで定義不能ではないが、これはかなり深刻なパラドックスにつながる。)
  • It was made up by members of this wiki and it's not in any sources. (この順序数はこの英語版wikiの人々により作られた物で、プロの数学者による定義がない。)

出典

特に記載のない限り、コミュニティのコンテンツはCC-BY-SAライセンスの下で利用可能です。