英语翻译

题目

英语翻译
主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,
1.逻辑公理
2 实质公理
3 否定性完全
4 封闭的
5 语义完全性定理
6 强语义完全性定理
7 全函数
8 可计算的
9 范畴的
10 算术形式系统
11 可表达的
12 可依赖的
13 有限扩充
14 丘奇定理
15 递归函数集
16 初始函数
17 复合
18 强表达
19不可判定性
但我需要补充一点,我需要的是专业名词的翻译,而不是在金山词霸里或是什么在线英语辞典里翻译出来的,这样的翻译不是专业的名词,只是表面上的英语意思.请各位高人给出专业的英语名词,我是百度新人,分数不高,但我会尽量追加分数,

答案

试着翻译出来 供你参考:
(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