英语词汇“church's theorem”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	church's theorem
释义	> as lemmas Church's theorem Church's theorem n. a theorem stating that all propositions in first-order predicate logic are undecidable.extracted from Churchn.² < as lemmas
随便看	gleanable gleaned gleaner give a dead leg give a dog a bad name give a dog a bad name and hang him give a dog a ill name and hang him give a dummy give a easy ride give a etc a bloody nose give a etc a run for etc money give a etc a run for her money give a etc a run for his money give a etc hand give a etc per cent give a etc ride give a etc seeing to give a etc time give a etc voice give a fair wind give a fall give a field give a fig, or fig's end for give a fish leave give a fish the butt

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

> as lemmas