(Axıom) 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 alman ve tanımı gereği
doğru kabul edilen önerme. Bkz. hipotez, varsayım, teorem.
|
