Chapter 18 Axiom-Like Elements
PreTeXt provides several tags that fall into the category of an “axiom” that one would like to be numbered. They are
<principle>. The content of these tags is very simple. They allow an optional
<title>, an optional
<idx> tags, and then a
<statement> much like a
The code in Listing 18.0.1 produces the following output:
Axiom 18.0.2 (Peano). Optional.
Here's the statement of the axiom.