Hüperonüümid:
väide 2(n)
teoreem 1(n), lause 4(n)

väide, mille õigsus tõestatakse loogilise arutlusega, tuginedes aksioomidele ja varem tõestatule (EKSS)

ILI-1.5 relation(s)

eq_synonym

PWN-3.0 relation(s)

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

CILI relation(s)

eq_synonym
theorem 2(n) a proposition deducible from basic postulates
Hüponüümid:
Gödeli teoreem 1(n)