bugün

aksiyom

Postulat da denir.

Mesela doğal sayılar aksiyom üzerine kurulmuştur. ilk aksiyom "1, bir doğal sayıdır" olarak belirlenmiştir. 1'in bir doğal sayı olup olmaması üzerinde bir mantık yürütmeden, bu önermeyi doğru kabul ederiz.