Qualsevol proposició matemàtica que pot ésser demostrada a partir d'unes hipòtesis, uns axiomes o altres proposicions demostrades anteriorment.