Skip to main content

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 <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>
Listing 18.0.1. An axiom

The code in Listing 18.0.1 produces the following output: