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.

      Here's the statement of the axiom.
Listing 18.0.1. An axiom

The code in Listing 18.0.1 produces the following output: