Doğruluğu isbat edilmədən qəbul edilən təkliflərə aksiomlar deyilir. Aksiomlar adətən məlum təkliflər vəya tamamilə mücərrəd ola bilər. Adətən riyaziyyata hər hansı bir yeni bölmə vəya anlayış daxil edildikdə bu yeni bölmə bir sıra qəbul edilmiş mülahizələr əsasında qurulur. Belə mülahizələr sistem daxilində aksiomlar adlanır.