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.

Więcej informacji: pl.wikipedia.org