单词	Godel's theorem
释义	Godel's theorem noun Go·​del's theorem ˈgō-dəlz-  ˈgər-, ˈgœ-  : a theorem in advanced logic: in any logical system as complex as or more complex than the arithmetic of the integers there can always be found either a statement which can be shown to be both true and false or a statement whose truth or falsity cannot be deduced from other statements in the system called also Godel's incompleteness theorem Word History Etymology Kurt Gödel †1978 American mathematician First Known Use 1933, in the meaning defined above
随便看	salverform salvers salves salvia salvia blue salvianin salvias salvific salving salvings Salvinia Salviniaceae salviniaceaes salviniae salvinias salvo salvoed salvoes salvoing salvor salvors salvos salvy Salween Salyrgan

英语词典包含469781条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。