Projekt:Semantische Organisation der Mathematik/Beweis-Kategorie

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.