1. belit. önkanıt. Bilgi üretim sürecinde doğruluğu ispat gerektirmeyecek kadar açık ve sorgulanamaz varsayılan ifade. 2. Bir mantıksal sistemde, başka önermelerin üretilmesi için gerekli olan, yeni önermelerin üretilebilmesinde başlangıç noktası olarak alınan ve tanımı gereği doğru kabul edilen önerme.