Axiom 15.3.2 (Peano). Optional.
Here's the statement of the axiom.
Section 15.3 Axiom-Like Elements
PreTeXt provides several tags that fall into the category of an “axiom”. They are
<assumption>, <axiom>, <conjecture>, <heuristic>, <hypothesis>, and <principle>. The content of these tags is very simple. They allow an optional <title>, an optional <creator>, optional <idx> tags, and then a <statement> much like a <theorem> does. <axiom>
<title>Optional</title>
<creator>Peano</creator>
<statement>
<p>
Here's the statement of the axiom.
</p>
</statement>
</axiom>
The code in Listing 15.3.1 produces the following output:
