Definitsioon: matemaatilises loogikas väide, mille puhul eeldatakse, et tema sisu tegelikkusele vastavuse määr on põhimõtteliselt kindlakstehtav (EKSS)
Mõiste: lemma
Ülemmõiste: väide