Proposizione dimostrata logicamente a partire da postulati, assiomi o altri teoremi precedentemente dimostrati. Proposizione enunciante una verità che risulta evidente solo mediante un ragionamento (detto dimostrazione) fondato su ipotesi o supposizioni assunte come vere o anche su altre proposizioni precedentemente dimostrate.