Tümdengelimli dizgelerde, bütün dizgenin temelinde bulunan ve bütün önermelerin tanıtlanması için gerekli olan, ama kendileri tanıtlanamayan önermelerin bütünü. (Eskiden matematikte bunlar -> belit (aksiyom), -> konut (postulat) ve -> tanım diye üç ayrı
TDK Felsefe Terimleri Sözlüğü