Inter-universal geometry と ABC予想 (応援スレ) 60

Inter-universal geometry と ABC予想 (応援スレ) 60at MATH

Inter-universal geometry と ABC予想 (応援スレ) 60 - 暇つぶし2ch310:大きな順序数のうちで最小のものである。S(α) を α の後続者（successor of α）と呼ぶ。　　4. O が順序数からなる集合のとき、∪ O もまた順序数であり、O の最小上界となっている。そこで、∪ O を sup(O) とも書く。” 　だよ。だから、3項の「S(α) := α ∪ { α } 」つまり、ノイマン構成の後者関数を前提としての話だ　（実際、英文 https://en.wikipedia.org/wiki/Ordinal_number Ordinal number 2.3 Von Neumann definition of ordinals 　　で ”Consequently, every ordinal S is a set having as elements precisely the ordinals smaller than S. For example, every set of ordinals has a supremum, the ordinal obtained by taking the union of all the ordinals in the set. ” 　　との記載と対応しているが、これはあくまで、”Von Neumann definition of ordinals”限定の話だよ） 3．だから、ツェルメロの後者関数「S(α) := { α } 」には、上記は言えないよねつづく

次ページ

続きを表示

1を表示