算术公理之完备性.PPTVIP

０是一個非負整數?個體常元０每個自然數ｎ，都有不同於ｎ的後繼ｎ‘?函數ｘ‘不存在非負整數ｎ，使得ｎ‘為０?公理：將皮亞諾公設表成量化邏輯對於任意非負整數ｍ和ｎ，如果ｍ‘＝ｎ’，那麼ｍ＝ｎ?對於任何含有０的非負整數集合Ｓ，如果對任意的ｎ屬於Ｓ，都有ｎ‘屬於Ｓ，那麼Ｓ含有所有的非負整數?函數符號：＋和＊“＋”的性質由以下兩條性質確立：“＊”的性質由以下兩條性質確立：一階算術系統１．運算符號～?（），２．語句字母ＡＢＣ．．．３．個體常元０１２．．．４．個體變元ｘ１ｘ２．．．５．函數符號‘＋＊６．關係符號＝７．公理相等公理二條皮亞諾公理三條加法公理二條乘法公理二條備註．嚴謹的一階算術系統１．運算符號～?（），２．語句字母ＡＢＣ．．．３．個體常元０．．．４．個體變元ｘ１ｘ２．．．５．函數符號n(x)a(x,y)m(x,y)６．關係符號e(x,y)７．公理相等公理二條皮亞諾公理三條加法公理二條乘法公理二條參可表達性定理目標:了解什麼樣的句子是可以被寫出來的何謂可表達?一個ｋ元關係ｗ（ｘ１，ｘ２．．．ｘｎ）可表達若且唯若有一個ｋ元命題Ｗ（ｘ１，ｘ２．．．ｘｎ）使得﹔ｗ（ｘ１，ｘ２．．．ｘｎ）成立若且唯若Ｗ（ｘ１，ｘ２．．．ｘｎ）為真Ｅｘ．“ｘ2≦ｘ1”可以用下列命題表示：Ｅｘ．“ｘ１＝Ｍａｘ｛ｘ｜Ａ（ｘ）｝”可表為：Ｅｘ．“ｘ１｜ｘ２”這個關係可以表為：Ｅｘ．“ｐ是質數”這個關係可以表為：可表達性定理可表達性定理保證：若關係“ｘｎ＋３＝ｇ（ｘ１，ｘ２．．．ｘｎ）”與關係“ｘｎ＋３＝ｈ（ｘ１，ｘ２．．．．ｘｎ＋２）”都可表達，而遞迴函數ｆ滿足﹔ｆ（ｘ１，ｘ２．．．ｘｎ，０）＝ｇ（ｘ１，ｘ２．．．ｘｎ）ｆ（ｘ１，ｘ２．．．ｘｎ，ｙ＋１）＝ｈ（ｘ１，ｘ２．．．ｘｎ，ｙ，ｆ（ｘ１，ｘ２．．．ｘｎ，ｙ））則關係：“ｘｎ＋３＝ｆ（ｘ１，ｘ２．．．ｘｎ，ｘｎ＋１）”可表達Ｅｘ．函數ｆ（ｐ，ｘ）＝ｐｘ可以用函數：ｇ（ｐ）＝１ｈ（ｐ，ｘ）＝ｐ＊ｘ表成遞迴：ｆ（ｐ，０）＝ｇ（ｐ）ｆ（ｐ，ｎ＋１）＝ｈ（ｐ，ｆ（ｐ，ｎ））又關係“ｕ＝１”及“ｕ＝ｐ＊ｘ”顯然都可表達，故由可表達性定理知：ｕ＝ｐｘ可表達可表達性定理的簡略證明引理一若ｒ（ｘ１，ｘ２）表示ｘ１除ｘ２的餘數，則“ｘ３＝ｒ（ｘ１，ｘ２）”可用：引理二若：ｂ（ｘ１，ｘ２，ｘ３）＝ｒ（ｘ１，１＋（ｘ３＋１）ｘ２）則由引理一知ｂ可表達，記它的表達式為Ｂ（ｘ１，ｘ２，ｘ３，ｘ４）引理三對於任何一個序列ｎ１，ｎ２．．．ｎｋ存在適合的ｕ，ｖ，使得：ｂ（ｕ，ｖ，ｉ）＝ｎｉ證明：令ｊ＝max（ｋ，ｎ１，ｎ２．．．ｎｋ）ｖ＝ｊ！考察數列＜ｕｉ＞＝１＋（ｉ＋１）ｖ，ｉ≦ｋ顯然它們兩兩互質（Ｋｅｙ．反證法）既然如此，由於：ｎｉ≦ｊ≦ｖ＜ｕｉ根據中國剩餘定理，存在一個數ｕ＜ｕ１ｕ２．．．ｕｋ使得：ｒ（ｕ，ｕｉ）＝ｎｉ即ｂ（ｕ，ｖ，ｉ）＝ｎｉ現在，可以直接驗證，如果：ｆ由ｇ（ｘ１．．．ｘｎ）與ｈ（ｘ１．．．ｘｎ，ｙ，ｚ）遞迴而成而ｇ可用Ｇ（ｘ１，ｘ２．．．ｘｎ，ｘｎ＋１）ｈ可用ｈ（ｘ１，ｘ２．．．，ｘｎ＋２，ｘｎ＋３）表示則ｆ（ｘ１，ｘ２．．．ｘｎ，ｙ）可以用：備註．完整的可表達性定理所有由：零函數Ｚ（ｘ）＝０後繼函數Ｓ（ｘ）＝ｘ＋１射影函數Ｕｉｎ（ｘ１，ｘ２．．．ｘｎ）＝ｘｉ經由有限次：遞迴合成f(x),g(x)?f(g(x))最小數f(x)=min“g(x)=0“所得到的函數必定是可表達的肆哥德爾數G?delNumbers目標:將所有可以被寫出來的命題與證明編號，並藉此提供一個判別某證明Ａ是否為一個命題Ｂ的一個證明的方法為了寫出“這句話不可被證明”這樣一個句子，我們必須能夠掌握公理系統下所有的證明．在此，我們引入哥德爾數這個方法，來為一個公理系