Meaning 1formal · 90%
A mathematical or logical statement established by proof from stated assumptions or earlier results.
Natural examples
Die Studierenden bewiesen einen Lehrsatz aus der Zahlentheorie.
Der Lehrsatz gilt nur unter den ausdrücklich genannten Voraussetzungen.
Die Mathematikerin widerlegte nicht den Lehrsatz, sondern dessen fehlerhafte Anwendung.
Usage note
A theorem is justified by proof; it is not synonymous with an axiom, which is assumed without proof within a system.
Useful combinations
— prove a theorem