英语翻译主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,1.逻辑公理2 实质公理3 否定性完全4 封闭的5 语

来源：学生作业帮编辑：作业帮分类：数学作业时间：2024/11/09 10:05:08

英语翻译
主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,
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

英语翻译主要是数理逻辑里面的一些概念性名词,只要英文名词翻译即可,1.逻辑公理2 实质公理3 否定性完全4 封闭的5 语 1、下列四种说法中：1、推理都是公理 2、定理都是命题 3、命题都是公理 4、公理都是命题正确的个数有只要相交线的定义,定理,公理. 空间图形的公理注意!是公理!定理之类的不要! 1.直线公理 2.线段公理 3.平行公理 4.平行线判定公理 5.补角的性质 6.余角的性质麻烦列出实数集合的公理,尽量全一些全等三角形的概念三个公理,以及一些基本性质. 传统逻辑与现代数理逻辑的主要区别? 【皮亚诺公理】【皮亚诺公理】人物的历史背景是什么平行线的性质公理和判定公理有哪些不同? 定义,定理,公理的区别?