Teorema proposición (th)
Son enunciados con una cierta importancia.
Estos han de deducirse de axiomas o otros teoremas.
La proposición matemática es lo mismo que el teorema matemático solo que con un grado menor de importancia (no confundir con la definición de proposición lógica)