我怎样才能编写一个带有编号的练习，而没有解决方案？

Question

我目前正在写我的项目，我想在其中写带有自动编号的练习。例如，我希望格式如下。

练习 1：证明空集公理的唯一性

配对公理此公理也称为无序对公理 [2]，指出我们可以从任意两个集合 x 和 y 创建一个包含 x 和 y 的新集合 A。A 表示为{x,y}。正式写为，∀ x ∀ y ∃ ! A ∀ z [ z ∈ A ⇔ ( z= x ∨ z= b)

练习 2：证明恰好有一个这样的集合。

Answer 1

添加\newtheorem{exercise}{Exercise}到您的序言中并将其用作\begin{exercise}Text of exercise.\end{exercise}。

\documentclass{article}
\newtheorem{exercise}{Exercise}
\begin{document}
I am currently writing my project and I want to write exercises in it with auto numbering. For example, I want the format to be like this.
\begin{exercise}
Prove the uniqueness of the Empty set Axiom.
\end{exercise}

Pairing Axiom. This axiom is also called `Axiom of the Unordered Pair' and states that we can create a new set $A$ that contains $x$ and $y$, for any two sets $x$ and $y$. $A$ is written as $\{x,y\}$. This is formally written as
\[ \forall x,y\, \exists! A\, \forall z \big( z \in A \Leftrightarrow (z=x \lor z=y)\big) \]

\begin{exercise}
Show that there is exactly one such set.
\end{exercise}

\end{document}