Aksjomat (
postulat,
pewnik) (
gr. αξιωμα [
aksíoma] – 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ą.