>>742
>Vについても
>大方の数学者は認識すらしていないと思いますが
>「すべての集合の集まり」という単一の存在と考える人がほとんどで
>基礎論の人も大方そう考えてませんかね
集合論における論理式に∀xとか∃xとかが出てくるけど、このxってどこの空間の元？って疑問に思ったことない？
答えを言うとモデルのドメイン（個体の集合）になるんだけど、実はそこを気にしても仕方無い。
なぜかと言うと、ある命題が証明できるかとか、証明された定理とか、証明にまつわるものしか関心が無いから。
一階述語論理の完全性定理の帰結として証明可能性と恒真（いかなるモデルでも真であること）性は一致してるからモデルを意識しても意味が無い。
だからと言って
>Vについても・・・「すべての集合の集まり」という単一の存在
は嘘。というのがレーヴェンハイム–スコーレムの定理の帰結。