定理环境第五项用罗马数字表示？

Question

我希望用基本定律来计算公理、定义和定理，例如公理 1，公理 2，定义 3，定理 4，基本定律 V，定理 6后面跟着更多带有阿拉伯数字的项目。基本定律 V 确实应该是第五项，它是逻辑学家戈特洛布·弗雷格思想中一个著名假设的名称。我如何在序言中用 \newtheorem 定义才能获得所需的效果？

Answer 1

由于类定理环境共享编号，因此您只需要在计数器的值为 5 时使其以罗马数字显示即可。

\documentclass{article}
\usepackage{amsthm}

\newtheorem{theorem}{Theorem} % base
\newtheorem{basic}[theorem]{Basic Law}
\newtheorem{axiom}[theorem]{Axiom}
\newtheorem{definition}[theorem]{Definition}

\renewcommand{\thetheorem}{%
  \ifnum\value{theorem}=5
    \Roman{theorem}%
  \else
    \arabic{theorem}%
  \fi
}

\begin{document}

\begin{axiom}
This is an axiom.
\end{axiom}

\begin{axiom}
This is an axiom.
\end{axiom}

\begin{definition}
This is a definition.
\end{definition}

\begin{theorem}
This is a theorem.
\end{theorem}

\begin{basic}
This is the basic law.
\end{basic}

\begin{theorem}
This is a theorem.
\end{theorem}

\end{document}

当然，你必须确保它确实位于第五位。