Definitsioon: teistele väidetele ilma tõestuseta aluseks võetav väide mingis deduktiivses teoorias
Mõiste: põhieeldus
Ülemmõiste: väide
Mõiste: põhipostulaat
Ülemmõiste: väide
Mõiste: sätestus
Ülemmõiste: väide