NE系统与完备的初等系统

在文献中我們引入了关於(第一型与第二型)初等系統的概念,初等系統的半完备性与完备性的概念,並且研究了关於函数xNy,x+y与x·y的各种第一型半完备的初等系統。本文研究关於函数xNy与xEy(当x=y时其值为0,当x≠y时其值为1)的第一型完备初等系統。本文还指出,在一个半完备的初等系統中有了函数xNy与xEy后,它就成为完备的初等系統了。