发布网友 发布时间:2022-04-23 02:09
共4个回答
热心网友 时间:2023-07-01 14:55
试着翻译出来 供你参考:
(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
热心网友 时间:2023-07-01 14:55
就是zixie
1. The logical axiomatic
2 substantial justice
3 negative completely
4 closed
Five semantic completeness theorem
6 strong semantic completeness theorem
7 all function
8 calculable
Nine categories of
10 arithmetic form system
11 can express
12 can rely on
13 limited extended
14 QiuJi theorem
15 recursive functions sets
16 initial function
17 composite
18 strong expression
19 Do not sentenced to qualitative
热心网友 时间:2023-07-01 14:56
1. Logical axiom
2.Real justice
热心网友 时间:2023-07-01 14:57
1. The logical axiomatic
2 substantial justice
3 negative completely
4 closed
Five semantic completeness theorem
6 strong semantic completeness theorem
7 all function
8 calculable
Nine categories of
10 arithmetic form system
11 can express
12 can rely on
13 limited extended
14 QiuJi theorem
15 recursive functions sets
16 initial function
17 composite
18 strong expression
19 Do not sentenced to qualitative