512px-Valladolid_Rodin_expo_2008_Pensador_03_ni.JPG

En matemáticas una proposición es una afirmación que puede ser demostrada lógicamente partiendo de axiomas, postulados o de otros resultados que previamente han sido también demostrados. Es decir, una proposición es lo mismo que un teorema matemático, sólo que algo menos importante (se suele reservar el nombre de teorema para los grandes resultados).

 TEOREMA: Hay infinitos números primos

 

La demostración, de Euclides, es por reducción al absurdo.