標準算術結構

標準算術結構(standard structure of arith-metics)亦稱標準算術模型一階算術的模型.

常用古代印刷體德文字母哭表示,設cue= {0,S, +,X}為一階算術語言,則哭為一個丫結構,其域為全體自然數之集合N,}符號。,5,+, X則在其中分別解釋為自然數零。,後繼函式.}x}x+1),加法函式.}xy(x+戶和乘法函式.fix刃xX必.由此可見,標準算術模型就是把一階算術語言按自然的方式解釋到通常的自然數結構中.而一個丫語句滬為真的,就是指它在哭中為真,即哭片筍通常,若丫結構哭‘與哭同構,也稱哭‘是標準算術結構或模型.

相關詞條

熱門詞條

聯絡我們