El segundo es una proposición de un hecho matemático que sigue lógicamente a un conjunto de axiomas.