Definition of Church's theorem in English:

Church's theorem

noun

Logic Mathematics
  • A theorem stating that all propositions in first-order predicate logic are undecidable.

Origin

1930s; earliest use found in Journal of Symbolic Logic.