从 fitch.sty 自然扣除中删除编号

Question

Johan Klüwer 有很棒的套餐惠誉用于排版自然演绎证明。但是我想在垂直 fitch 格式中定义一些演绎规则，而将编号放在左侧是没有意义的，因为在包含相关信息的行之间可能会有任意多的行。例如，我想删除行编号，以便我可以指示 A 行和 B 行之间不必正好有一行：

    \documentclass{article}
    \usepackage{fitch}

    \begin{document}

    \begin{equation*}
    \begin{fitch}
    \fh A & Hypothesis \\
    \fa \vdots \\
    \fa B & derrived from hypothesis\\
    A \to B
    \end{fitch}
    \end{equation*}

    \end{document}

Answer 1

肯定有人回答过这个问题。只需使用：

\begin{fitch*}

\end{fitch*}

这样就行了。我自己想更改编号，比如说从 n 开始。但那是另一个问题。