☰

獨立編號的類別定理環境

tag-icon • tag-icon numbering theorems
獨立編號的類別定理環境

我想在我的文件中使用幾種類型的文字部分/類似定理的環境（例如公理、定義和引理），它們應該由 LaTeX 自動獨立編號，我還想在同一文本中設定引用。它應該看起來像這樣（粗體文字是標題，理想情況下由 LaTeX 從\begin{}- 命令生成，斜體文字是對這些環境的引用。）

公理 1：Fjon 是個裹屍布

公理2：每個Shrud 都有一個Gob，它也是Shrud。

定義1：赤色
每個裹屍布只對他自己是殘忍的，對任何其他裹屍布都不會。

公理 3：沒有哪個修魯德會對自己的哥布粗魯無禮。

公理 4：如果兩個裹屍布的哥布彼此互為紅色，那麼這些裹屍布也都是紅色的。

引理 1：裹屍布存在
這是一個微不足道的結果公理1。
∎

引理 2：除了 Fjon Fjon 之外，還有其他裹屍布
存在（公理1）並且他有一個 Gob，因為公理2，但 Fjon 的 Gob 不可能是 Fjon 本人，因為定義1和公理3，所以 Fjon 的 Gob 一定是另一個 Shrud。
∎

定義2：穆納、奧巴吉
Muna 是 Fjon 的 Gob，Obaji 是 Muna 的 Gob

公理 5：Fjon 不是任何 Shrud 的 Gob

引理 3：除 Fjon 之外的所有其他 Shrud 都是 Gob of a Shrud
（證明）
∎

我希望透過以下方式實現這一目標：

\begin{axiom} % shall print "Axiom 1:", where 1 is a sequential number that is increased for each axiom
\label{ax:Fjon_is_Shrud}
Fjon is a Shrud
\end{axiom}

\begin{axiom} % shall print "Axiom 2:"
\label{ax:Gob}
Every Shrud has exactly one Gob that is also a Shrud.
\end{axiom}

\begin{definition}{Ruficiousity} % shall print "Definition 1: Ruficiousity" followed by a line break
\label{def:Ruficiousity}
\textbf{Ruficiousity}
Every Shrud is ruficious only to himself, never to any other Shrud.
\end{definition}

...

\begin{lemma} % shall print "Lemma 1:"
\label{lem:Shruds}
\textbf{Shruds exist}
This is a trivial consequence of \ref{ax:Fjon_is_Shrud}.
\end{lemma}

但這顯然還不夠。我想我需要在某個地方另外定義公理、定義和引理是可以在開始-結束對中使用的東西，我想我需要以某種方式告訴 LaTeX 為這些元素分配數字，並且它們每個都有它自己的數字列表獨立於任何其他編號元素。

我需要在文件中做什麼（以及在哪裡）才能完成此任務？

答案1

這就是定理的用途。這裡我用的是amsthm.我沒有寫下所有內容，但我想你可以想像如何繼續。

結果

\documentclass{article}

\usepackage{amsthm} % for defining theorem-like environments
   \newtheorem{axiom}{Axiom} % first argument: what you have to write in "\begin{...}"; second argument is the displayed name
   \newtheorem{definition}{Definition}
   \newtheorem{lemma}{Lemma}
\usepackage{cleveref} % for nice references
   \crefname{axiom}{axiom}{axioms} % first argument: name of environment; second argument: singular form of how it should be referenced; third argument: plural form of how it should be referenced
   \crefname{definition}{definition}{definitions}
   \crefname{lemma}{lemma}{lemmata}

\begin{document}
    \begin{axiom}\label{ax:Fjon}
        Fjon is a Shrud.
    \end{axiom}
    \begin{axiom}
        Every Shrud has exactly one Gob that is also a Shrud.
    \end{axiom}
    \begin{definition}[Ruficiousity]
        Every \ldots
    \end{definition}
    \begin{axiom}
        No Shrud \ldots
    \end{axiom}
    \begin{lemma}
        Shruds exist.
    \end{lemma}
    \begin{proof}
        This is a trivial consequence of \cref{ax:Fjon}.
    \end{proof}
    \begin{lemma}
        There are other Shruds than Fjon.
    \end{lemma}
    \begin{proof}
        Fjon exists (\cref{ax:Fjon}) and he has\ldots
    \end{proof}
\end{document}

請注意，上述類似定理的環境可以進一步定制，例如您可以透過定義 aAxiom 1:來實現，請參閱Axiom 1.\newtheoremstyleamsthm文件。

相關內容