>>528
＞「数学者が議論を始めるにあたってひとつ固定するもの」が「ユニバース」らしい。
　なるほど　そこから誤解してらっしゃいますか　望月新一大センセイは
　そもそも何であれモデルを一個固定することなどない
　自然数論において自然数のモデルを一個固定するか？　しない
　集合論において集合論のモデルを一個固定するか？　　しない
　どのモデルでも成り立つことしか証明できないのだから　モデルを固定する必要がない
　
　超準解析みたいにモデルが複数あることを利用した理論というのはあるが
　あれは「宇宙際解析」なんだろか（笑）