Axioma

En una teoría o sistema de enunciados, enunciado básico o principio que se establece sin necesidad de ser demostrado, razonable por sí mismo e indiscutible, y que, junto con otros enunciados así mismo básicos y determinadas reglas operativas, permite deducir todos los demás enunciados del sistema. Durante el período clásico y hasta la época moderna se ha definido el axioma como un principio evidente por sí mismo y que no precisa demostración. Los axiomas serían aquellos primeros principios a partir de los cuales se realizan las demostraciones. En la antigua lógica y matemática (Aristóteles, Euclides) servía como punto de partida de sistemas deductivos; por ejemplo, los axiomas lógicos (los axiomas de la identidad, de contradicción y tercero excluido) y los axiomas de la geometría euclidiana. Para Aristóteles los principales axiomas eran el principio de contradicción y el de tercio excluso.