Elementary System of Concatenation, Elementary Arithmetic and Protosyntax  

初等毗连系统,初等算术和原语法系统

作　　者：郑锡忠[1] 

机构地区：[1]南京大学数学系

出　　处：《Chinese Quarterly Journal of Mathematics》1991年第2期12-30,共19页数学季刊（英文版）

基　　金：The Project by National Natural Science Foundation of China.

摘　　要：毗连运算是语法系统中最基本和最简单的运算。Tarski,Quine和Hermes等著名数理逻辑学者都曾对它作过非常有意义的讨论。但是他们的讨论都是非形式的,本文首先建立了关于毗连的初等形式系统C,并通过对C的展开,在C中形式地建立了Peano算术模型。最后,作为C的一个扩张,建立了Quine原语法的形式系统PS_0,同时证明宁PS_0可以嵌入到Peano算术中去。这样在可嵌入的意义下,毗连初等系统,Peano算术和原语法系统是等价的。这也证实了Church关于Quine原语法系统的猜想。

关 键 词：毗连系统 初等算术 原语法 

分 类 号：O14[理学—数学]