>>745
>まず、小学校の算数及び中学・高校の数学では、
>標準的N,Z,Q,Rの元についての計算方法を学んでいる
>このことは否定しようもない
それどころか
大方の数理論理学の本でも標準的なN,Z,Q,Rを使ってますね
モデルは無数にあってもその中で
数学者の共通認識になる集合を特定して使ってるわけです