Aksiyom tanımı nedir? Matematikte geçen önermeleri (önermelerin), tanım da (tanımda) olduğu gibi tümünü ispat edemeyiz. İspatlanamayan ama doğruluğu kabul edilen önermelere aksiyom (aksiyom )denir ve bunlar da sınırlı sayıdadır.