Definitsioon: teistele väidetele ilma tõestuseta aluseks võetav väide mingis deduktiivses teoorias
Mõiste: posiit
Ülemmõiste: väide