genel olarak, apaçık bir biçimde doğru olduğu düşünülen, ne kanıtlanan ne de çürütülebilen önerme; üzerine mantıksal bir sistemin kurulduğu ve ancak sistemin tutarlılığından vazgeçilmesi durumunda, inkar edilebilen en temel ve zorunlu apaçık doğru; başka önermelerden türetilemeyen, fakat kendisinden başka önermelerin çıkarsanabildiği ilk başlangıç noktası; bütün bir kanıtlama sürecinin temelini oluşturan, fakat kendisi kanıtlamayan önerme; formel bir sistemde, kanıtlanmadan öne sürülen ve, tüm diğer teoremlerin, sistemin çıkarım kurallarına göre, benzer diğer önermelerle birlikte, kendisinden türetildiği temel önerme.