[Teoria] on ristiriitainen, jos se väittää kaiken. Vähän
teknisemmin: jos kaikki sen termit ovat sen teoreemoja. Pidän tästä
määrittelystä, koska se välttää totuusarvoista puhumisen. Nollateoria
(teoria, jossa ei ole termejä) on triviaalisti
ristiriitainen ristiriitainen.
Lisäksi teoriassa voi olla ilmaus tai ilmausten joukko, jota kutsutaan "ristiriidaksi". Tällöin yleensä sanotaan, että ristiriitailmauksen tuottava ''aksiomien'' joukko (ks. [logiikka]) on ristiriitainen.
[...]