完全性定理で用いられるモデルにとっては、2+3や1+4という文字列そのものが対象ですよ