试着翻译出来 供你参考:
(1)Logic Axiom
(2)parenchyma Axiom
(3)negation
(4)sealed-in
(5)Semandics Completeness Theorem
(6)strong Semantics Completeness Theorem
(7)holomorphis function
(8)count enable
(9)category
(10)Arithmetic forms system
(11)passble expression
(12)passble depend
(13)limitied expend
(14)Church Theorem
(15)recursive functions group
(16)original function
(17)recombination
(18)strong expression
(19)nondecision