族歌德尔 Gadel
歌兰德尔 Grandsun
约德尔山歌 Yodel
纳尔齐斯与歌尔德蒙 Narziss und Goldmund ; NarzissandGoldmund
歌尔德 Mike Gold ; Gordes
利奥·歌特瓦尔德 leo gottwald ; Leo Gottwingd
尼杰尔·歌德里希 Nigel Godrich
歌手布隆德尔 Blondel de Nesle
斯德歌尔摩大学 University of Stockholm
波德莱尔歌剧酒店 Hotel Baudelaire Opera
歌德尔
Godel
以上为机器翻译结果,长、整句建议使用 人工翻译 。
之后,美籍逻辑学家歌德尔一阶谓词演算的完备性定理,这标志着现代逻辑基础部分的完成。
After this, American Logician Kurt Godel proved the completeness theory of predicate calculus. This means the completion of the base of Modern Logic.
youdao
应用推荐
模块上移
模块下移
不移动