Projekt:Semantische Organisation der Mathematik/Fakten-Kategorie

Eine Fakten-Kategorie ist eine Kategorie, in der zu einer bestimmten mathematischen (Teil-)Theorie Fakten gesammelt werden. Sie bezieht sich dabei auf eine möglichst feine Theorie-Kategorie. Unter Fakten verstehen wir mathematisch gültige Aussagen, die einem mathematischen Text üblicherweise als Satz, als Lemma, als Hilfssatz, als Korollar oder als Proposition bezeichnet wird. Diese Bezeichnungen stellen eine Gewichtung in einem Textzusammenhang dar und sind somit kontextabhängig, so dass diese allesamt neutral als Fakten kategorisiert werden. Mit Einlesevorlagen wie {{inputfaktbeweisbox}} kann eine Faktenseite (samt Beweis) eingelesen und als Satz, Lemma etc. ausgewiesen werden.

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

Beispiel: Kategorie:Teilbarkeitstheorie in Hauptidealbereichen/Fakten.