<LATEX language="en">
<![CDATA[
Search for simple 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[
One
]]>
</LATEX>