>>738
>「数理論理学を全く知らない一般数学者は
>N,R,Vのモデルは一つしかない、という共同幻想を
>後生大事に抱きつつけている」
全く間違ってますね
モデルが無数にあることは知っている人が多いでしょう
しかしその中でいわゆる標準的な
N,Z,Rを使っているのです
数学的帰納法も
P(0)
P(0)からP(1)
P(1)からP(2)
…
と素朴な認識を持った上で
P(n)からP(n+1)
もちろんnは標準的なNの元でね
そう一つにまとめて証明する手法としか認識してません
それで何も問題なく数学の研究が進むわけです
Vについても
大方の数学者は認識すらしていないと思いますが
「すべての集合の集まり」という単一の存在と考える人がほとんどで
基礎論の人も大方そう考えてませんかね