>>750
>大方の数理論理学の本でも標準的なN,Z,Q,Rを使ってますね
>モデルは無数にあってもその中で
>数学者の共通認識になる集合を特定して使ってるわけです

君がそう思い込む根拠は?
どこにも「標準的なN,Z,Q,R」なんて特定してないよ
君が勝手に特定されてると思い込んでるだけで
実は全然特定されてない、というのが数理論理学の常識