>>195
＞“2+3”≠”1+4”だよね？

＞でも”2+3”^M = “1+4”^Mだよね？

≠はメタの意味、=は対象言語内の意味ですね
=^Mなわけです


モデルといってもいろあろありますからね
通常のモデルであれば、あなたの言ってる通り、対象は何らかの数でなければなりません
しかし、完全性定理で示されることは、モデルの唯一性ではなく存在性です
完全性定理で示されるモデルと、通常の数論のモデルは異なるのです