Sistem aksioma

Euklides dari Iskandariyah menulis presentasi aksioma yang pertama pada geometri Euklides dan teori bilangan. Banyak sistem aksiomatik yang dikembangkan pada abad ke-19. Metode matematis telah berkembang secara baik dalam Mesir kuno, Babilonia, India, dan Cina.a. Jelas, tepat , dan mempunyai satu makna.
b. Hanya menggunakan istilah dasar atau yang telah ada sebelumnya
c. Konsisten, dalam setiap kasus mempunyai arti yang sama.
d. Jangkauannya cukup luas untuk dapat memuat sebanyak mungkin objek dari sistem.