Aksjomat - to postulat, pewnik, czyli jedno z podstawowych pojęć logiki matematycznej. Od czasów Euklidesa uznawano, że aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej.W ujęciu tradycyjnym, nazywanym geometrią syntetyczną, geometria euklidesowa przedstawiana jest jako system aksjomatyczny, w którym wszystkie twierdzenia muszą wynikać z aksjomatów, czyli zdań przyjmowanych z góry jako prawdziwe. We współczesnej matematyce definicja aksjomatu jest nieco inna:
Aksjomaty są zdaniami wyodrębnionymi spośród wszystkich twierdzeń danej teorii, wybranymi tak, aby wynikały z nich wszystkie pozostałe twierdzenia tej teorii. Taki układ aksjomatów nazywany jest aksjomatyką.