Axioma - grondwaarheid, die niet bewezen kan worden maar — in den regel krachtens de intuïtie — zonder bewijs wordt aanvaard. De meetkunde heeft verschillende soorten van axioma’s, 1) de grafische axioma’s (bijv. twee verschillende punten A en B bepalen steeds een rechte lijn AB; van drie punten op een rechte lijn ligt steeds één tusschen de beide andere;
2) de axioma’s van de congruentie (bijv: als een lijnstuk AB zoowel met A'B' als met A"B" congruent is, is ook A'B' congruent met A"B");
3) het axioma der evenwijdigheid of axioma van Euclides, volgens hetwelk door een punt buiten een lijn één en slechts één rechte lijn gaat evenwijdig met de gegeven lijn. De meetkunde, die al deze axioma’s tot grondslag heeft, heet de Euclidische meetkunde. Daarentegen heet de meetkunde, die opgebouwd is met behoud van de grafische- en congruentieaxioma’s, maar met verwerping van ’t axioma van Euclides, de niet-Euclidische meetkunde. Men raadplege: F. Schur; Grondlagen der Geometrie, Leipzig, 1909.
