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