Aksjomat, postulat, pewnik (gr. axíōma, godność, pewność, oczywistość) – 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.
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ą.
Zbiór aksjomatów i ich konsekwencji to system aksjomatyczny.
Wyjaśnienie pojęcia aksjomatu Matematyka jest zbiorem różnych teorii (geometria euklidesowa, arytmetyka). Każda z nich operuje na specyficznym dla siebie zasobie pojęć. Matematycy mówią, że dana teoria jest wyrażona w języku opartym na określonym alfabecieElementami tego alfabetu są zwykle termy rachunku kwantyfikatorów, m.in. tzw.