Aksjomat (postulat, pewnik; gr. αξιωμα aksíoma – godność, pewność, oczywistość) – jedno z podstawowych pojęć logiki matematycznej.
Intuicyjnie i nieściśle ujmując:

aksjomaty to zdania przyjmowane za prawdziwe, których nie dowodzi się w obrębie danej teorii matematycznej, lecz na ich bazie udowadnia się inne jej zdania (twierdzenia).

W formalnym sensie definicja aksjomatu jest nieco szersza (zobacz dalej), jednak powyższa definicja, choć nie do końca ścisła, oddaje praktyczny sposób ich użycia.