Hüperonüümid:
teoreem 1(n), lause 4(n)
Gödeli teoreem 1(n)

teoreem, mis näitab aritmeetika mittetäielikkust

ILI-1.5 relation(s)

eq_has_hyperonym

PWN-3.0 relation(s)

eq_has_hyperonym
theorem 1(n) a proposition deducible from basic postulates