<LATEX language="en">
<![CDATA[
First formal proofs.
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
First
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Axioms
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Disjunction Idempotence
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Axiom of Weakening
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Commutativity of the Disjunction
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Disjunctive Addition
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Universal Instantiation
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
Existential Generalization
]]>
</LATEX>
<LATEX language="en">
<![CDATA[
One
]]>
</LATEX>
No useful proof, but uses missing rules.