s.m. [pl. -mi] in matematica e in logica matematica, ogni proposizione che sia dimostrabile per deduzione da altre proposizioni precedentemente dimostrate o assunte come vere (assiomi o postulati).