在撰写正式推论时应使用什么环境？

Question

学习数理逻辑，我必须写出形式化的推论*。

我如何使用 TeX 来编写它们？

欢迎任何反馈。

---

(*) 粗略地说，它们是两列的编号列表，第一列给出公式，第二列给出其依据（如果它是公理、假设或由先前条目推断），两者都可以跨越多行。
无论如何，这里有一个例子（来自：门德尔松，《数学逻辑导论》）。

Answer 1

p{}这是一种使用自定义计数器来表示第一列，并使用列类型来表示其他两列的方法：

代码：

\documentclass{article}
\usepackage{amssymb}

\newcounter{MyRowNumber}
\newcommand*{\NewRow}{\stepcounter{MyRowNumber}\arabic{MyRowNumber}}%

\begin{document}
\begin{tabular}{l p{0.25\linewidth} p{0.25\linewidth}}
    \NewRow & $x^2 + y^2 \ge 0\ \forall x, y \in \mathbb{R}$ & Hyp\\
    \NewRow & $more\ math$                                   & 10,11 conjunction introduction\\
\end{tabular}
\end{document}