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