我怎样才能不列举而陈述公理？

Question

我正在使用 ams 数学包。执行此代码时，它会显示“完备性公理”，其中有一个 1。我该如何去掉这个 1？

\newtheorem{axiom}{Axiom of Completeness}
\begin{axiom}
Every nonempty set of real numbers that is bounded above has a least upper bound. 
\end{axiom}

Answer 1

像这样吗？

\documentclass[a4paper,12pt]{article}
\usepackage{amsthm}
\newtheorem*{axiom*}{Axiom of Completeness}
\theoremstyle{plain}
\begin{document}
\section{Bla}
\begin{axiom*}
Every nonempty set of real numbers that is bounded above has a least upper bound. 
\end{axiom*}
\begin{axiom*}
Every nonempty set of real numbers that is bounded above has a least upper bound. 
\end{axiom*}
\end{document}

Answer 2

如果您有一个名为“完备性公理”的单一陈述，那么您就可以省去塞巴斯蒂亚诺的精彩答案。

但是，如果您正在研究集合论并且必须陈述几个公理，那么可能会很混乱：定义越来越多的定理类型将是非常艰苦的劳动并且难以维护。

\documentclass{article}
\usepackage{amsthm}

\newtheorem*{genericaxiom}{Axiom of \AxiomName} % unnumbered generic axiom
\newcommand{\AxiomName}{\ERROR} % initialize
\newenvironment{axiom}[1]
 {\renewcommand{\AxiomName}{#1}\begin{genericaxiom}}
 {\end{genericaxiom}}

\begin{document}

\begin{axiom}{Completeness}
This is the axiom of completeness
\end{axiom}

\begin{axiom}{Choice}
This is the axiom of choice.
\end{axiom}

\end{document}