>>469
>さて、用語「宇宙」の話に、戻ろう
どうぞご随意に

>1）
なんのマネだか知らないが
番号つけるのはなんかキモチワルイから
まっさきにやめような

>下記
いちいち下記って書くのうっとうしいから
まっさきにやめような

>・・・先生など
大学で教えてるからって
いちいち先生って書くの媚び諂いだから
まっさきにやめような

>いま、21世紀の数学で「宇宙」と言えば、
>基礎論のある公理系が作る集合をすべて含む”もの”（Ufnd）
>を、意味するだろう

「基礎論の」って要らんだろ
「集合全体のあつまり」でよくないか？
で、それはカントールのパラドックスによって集合足りえない
初歩だな

>（特に強制法がどんどん使われるようになってからは）
>ノイマン宇宙Vはこれ
>（「宇宙」（Ufnd）は、一般的にはクラス(類)だが、集合もどきで基数を考えたりする）

「集合全体のあつまり」なら、古典論理上の体系なら必ずクラスだよ　集合になりようがない
直観主義論理とかにしたところで、それは全く変わらない
これまた初歩だな

（つづく）