Wikiversity:Semantic templates/Facts/Latex
\newtheorem{fact}{fact}[section] %counting along sections. For [], direct numbering.
\newtheorem{Fact}{fact}[Fact]
\newtheorem{Proposition}[fact]{Proposition}
\newtheorem{Corollary}[fact]{Corollary}
\newtheorem{Lemma}[fact]{Lemma}
\newtheorem{Theorem}[fact]{Theorem}
\theoremstyle{definition}
\newtheorem{Axiom}[fact]{Axiom}
\newtheorem{exercise}[fact]{Exercise}
\newtheorem{Exercise}[fact]{Exercise}
\newtheorem{examexercise}{Exercise}
\newtheorem{Examexercise}{Exercise}
\newtheorem{example}[fact]{Example}
\newtheorem{construction}[fact]{Construstion}
\newtheorem{method}[fact]{Method}
\newtheorem{remark}[fact]{Remark}
\newtheorem{definition}[fact]{Definition}
\newtheorem{notation}[fact]{Notation}
\newtheorem{Notation}[fact]{Notation}
\newtheorem{question}[fact]{Question}
\newtheorem{problem}[fact]{Problem}
\newtheorem{Problem}[fact]{Problem}
\newtheorem{situation}[fact]{Situation}
\newtheorem{Situation}[fact]{Situation}