Dieser Artikel von Wikipedia ist u.U. veraltet. Die neue Version gibt es hier. In der Mathematik und in der werden ausgehend von Axiomen neue Erkenntnisse so genannte Sätze formuliert. Damit die Aussagen von Sätzen werden müssen sie bewiesen werden. Strenggenommen handelt es sich dabei eine durch die klassische Prädikatenlogik legitimierte Folge von Schlussfolgerungen. Alternative Logiken etwa in der konstruktiven Mathematik spielen in der Mathematik eine untergeordnete
Normalerweise werden Sätze nach ihrer Bedeutsamkeit eine Hierarchie eingegliedert die aufsteigend geordnet so aussieht: