La rama de la lógica clásica, fundada por Aristóteles, tiene los tres axiomas: