Projekt:Semantische Organisation der Mathematik/Fakten mit Beweis-Kategorie

Eine Fakten mit Beweis-Kategorie ist eine Kategorie, in der zu einer bestimmten mathematischen (Teil-)Theorie die Formulierung einer mathematischen Tatsache zusammen mit einem Beweis dafür gesammelt wird. Sie bezieht sich dabei auf eine möglichst feine Theorie-Kategorie. Offenbar bildet ein Fakt mit seinem Beweis einen engen Textzusammenhang, und die Formulierungen in beiden beziehen sich aufeinander.

Wie jede Text-Kategorie wird eine Fakten mit Beweis-Kategorie mit [[Theorie-Kategoriename/Fakten mit Beweis]] bezeichnet und mittels [[Kategorie:Theorie-Kategoriename| Fakten mit Beweis]] (also mit Leerzeichen) in die zugehörige Theorie-Kategorie eingeordnet.