Aksjomat to pojęcie należące do logiki matematycznej. Oznacza twierdzenie, które powszechnie uznaje się na pewne i niepodważalne. Po prostu wszyscy przyjmują za prawdziwe. Termin ten pochodzi z języka greckiego, w którym wskazuje na ‘oczywistość, pewność’.
Wyrazy pokrewne: aksjomatyka, aksjomacik, aksjomatyczny, aksjomatyzować
Odmiana: aksjomat (D. aksjomatu, C. aksjomatowi, B. aksjomat, N. aksjomatem, Msc. aksjomacie, W. aksjomacie)
Synonimy: pewnik, postulat
Przykłady użycia:
Autorem pierwszych aksjomatów był Euklides.
Współczesna definicja aksjomatu nieco różni się od tradycyjnego ujęcia.
Prawdziwości aksjomatu nie dowodzi się w teorii matematycznej.
Komentarze