독립적으로 번호가 매겨진 정리와 유사한 환경

Question

내 문서에서 여러 유형의 텍스트 섹션/정리와 유사한 환경(예: 공리, 정의 및 기본형)을 사용하고 싶습니다. 이 환경은 LaTeX에 의해 자동으로 독립적으로 번호가 매겨져야 하며 동일한 텍스트에서 참조도 설정하고 싶습니다. 이는 다음과 같아야 합니다(굵은 텍스트는 -명령에서 LaTeX에 의해 이상적으로 생성된 제목이고 \begin{}, 기울임꼴 텍스트는 이러한 환경에 대한 참조입니다.)

공리 1:Fjon은 슈루드입니다

공리 2:모든 Shrud에는 Shrud이기도 한 정확히 하나의 Gob이 있습니다.

정의 1: 루피셔스
모든 슈루드는 그 자신에게만 무례하며 다른 슈루드는 결코 무례합니다.

공리 3:어떤 Shrud도 자신의 Gob에게 무례하지 않습니다.

공리 4:두 개의 Shrud에 서로에게 나쁜 덩어리가 있는 경우 이 Shrud도 Ruficious입니다.

기본정리 1:슈러드가 존재합니다.
이는 다음과 같은 사소한 결과입니다.공리 1.
∎

기본정리 2:Fjon Fjon 이외의 다른 Shrud가
존재합니다(공리 1) 그리고 그는 다음과 같은 이유로 Gob을 갖게 되었습니다.공리 2, 그러나 Fjon의 Gob은 다음의 결과로 Fjon 자신이 될 수 없습니다.정의 1그리고공리 3, 따라서 Fjon's Gob은 또 다른 Shrud임에 틀림없습니다.
∎

정의 2: 무나(Muna), 오바지(Obaji)
Muna는 Fjon의 덩어리이고 Obaji는 Muna의 덩어리입니다.

공리 5:Fjon은 슈루드의 덩어리가 아닙니다.

기본정리 3:Fjon을 제외한 다른 모든 슈러드는 슈러드 덩어리입니다
(증거)
∎

제가 이를 달성하고자 하는 방법은 다음과 같습니다.

\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에게 이러한 요소에 숫자를 할당하라고 지시해야 할 것 같습니다. 다른 번호가 매겨진 요소와 독립적인 자체 번호 목록입니다.

이 작업을 수행하려면 내 문서에서 무엇을(그리고 어디에서) 해야 합니까?

Answer 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}

위의 정리와 유사한 환경은 추가로 사용자 정의할 수 있습니다. 예를 들어 를 정의하는 Axiom 1:대신 달성할 수 있습니다 .Axiom 1.\newtheoremstyleamsthm선적 서류 비치.