Podría pensarse al principio que la proposición: 7 + 5 = 12, es una proposición meramente analítica, que se sigue del concepto de una suma de siete y de cinco, según el principio de contradicción.