>>916

＞宇宙は宇宙、数学は数学
＞ショルツェが言ってるのは
＞結局そういうことでは？

まさかショルツェが
　＞宇宙は宇宙、数学は数学
と本当に言ったの？

数理論理学の「宇宙」の用語がわかってないレベルなの？

＞数学、とりわけ集合論や数学基礎論における宇宙とは、特定の状況において考察される実体のすべてを元として含むような類のことである。

特定の状況において考察される実体のすべてを元として含むような類のこと、を宇宙の用語で呼ぶと定めた、ということだけですね。

>>918氏の言われるように、＞宇宙って言っても例えだし、
別にそれを他の呼び方で呼べば、違う名称だったのだろう。

あとはネーミングのセンスだけど、
望月は、宇宙は自分のネーミングしたのではなく、前からあるのを使ったと言っているので、
宇宙と言う用語が変だと言っても、ネーミングした本人でないと言っているのに、拘っても仕方ない。