Słownik pojęć matematycznych
Aksjomat
(postulat) W systemie matematycznym lub logicznym jest to warunek początkowy lub założenie, które przyjmujemy jako prawdziwe bez dowodu i z którego można wyprowadzić inne założenia lub twierdzenia. Na bazie aksjomatów formmułuje się i dowodzi inne twierdzenia danej teorii. Przykładem aksjomatu w geometrii euklidesowej jest np.: "Przez dwa różne punkty przechodzi tylko jedna prosta".