>>190
ん？どういうレベルの話？

PAの標準モデルは領域に自然数の集合を割り当て。関数記号や等号の意味は自然数の演算をでしょう。公理がすべて妥当式になるからモデルですよ。