暇つぶし2chat MATH

- 暇つぶし2ch305:"集合論的公式 "という表現を用いる [例えば、[Drk], Chapter 1,§2]。以下の議論では、ある宇宙Vに含まれる集合の集合に対する有効性が、Vによって決定される集合理論のモデルと相対的な宇宙Vに含まれる集合の集合に対する有効性が、V∈Wのような任意の宇宙Wに対して等価であるという意味で、出現するすべての集合理論的な公式は「絶対的」であると理解されるべきである。は、Wによって決定された集合理論のモデルに相対する同じ集合の集合の集合に対するその妥当性について[例えば、[Drk]、第3章、定義4.2]を参照されたい。 www.DeepL.com/Translator（無料版）で翻訳しました。 (引用終り) ということで、望月先生も、厳密な正統集合論の「宇宙」に拘っているわけではないしグロタンディーク宇宙とも関係ないそういう解釈でよろしいかと思いますよ