Definitsioon: väide, mille õigsus tõestatakse loogilise arutlusega, tuginedes aksioomidele ja varem tõestatule (EKSS)
Mõiste: Gödeli teoreem
Ülemmõiste: väide