Definition of non-theorem in US English:

non-theorem

noun

Logic
  • A proposition or formula that is not provable within a given system.

Origin

1940s; earliest use found in W. V. Quine (1908–2000), philosopher. From non- + theorem.

Pronunciation

non-theorem

/nɒnˈθɪərəm/