Satz (Logik)

eine bewiesene Aussage im Unterschied zur Vermutung. Mitunter verwendet man für den Begriff Satz auch die Bezeichnung Theorem (z. B. Additionstheorem) oder Gesetz (z. B. Gesetz der großen Zahlen).