Por David Solano Fregoso
Un conjunto de axiomas es consistente cuando no es posible demostrar una proposición y su negativo.