Projekt:Semantische Organisation der Mathematik/Beweis-Kategorie
Erscheinungsbild
Eine Beweis-Kategorie ist eine Kategorie, in der zu einer bestimmten mathematischen (Teil-)Theorie Beweise gesammelt werden. Sie bezieht sich dabei auf eine möglichst feine Theorie-Kategorie. Ein Beweis bezieht sich auf einen Fakt in der entsprechenden Fakten-Kategorie (der Zusammenhang wird aber erst in einem Haupttext hergestellt).
Wie jede Text-Kategorie wird eine Beweis-Kategorie mit [[Theorie-Kategoriename/Beweise]] bezeichnet und mittels [[Kategorie:Theorie-Kategoriename| Beweise]] (also mit Leerzeichen) in die zugehörige Theorie-Kategorie eingeordnet.
Beispiel: Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Beweise.