19/12/27 17:00:25.66 k/2lG7oM.net
>>81
闇雲に検索してるね
>ゲーデルの構成可能集合
これは関係ない
>極限順序数
これもフォン・ノイマン構成に関する記述なので
ツェルメロ構成とは関係ない
>>82
>宇宙
まったく関係ない
>集合論
…{{}}…は集合ですらない
したがって
「シングルトン」（唯一の元を持つ集合）
とはいえない
{{},{{}},{{{}}},…}
なら、ツェルメロ構成のωを表す集合
として正当化できる
（ただその場合、ツェルメロ構成による順序数を
「より小さい順序数への有限∈降下列を有するもの」
として定義しなおしたほうがいい）
>>83
>圏論
…{{}}…を圏論で正当化できると思うのは妄想だろう
そもそも…{{}}…とかいうナイーブなアイデアを捨てればいい
ナイーブでありつづけることは馬鹿の極み