Skip to main content

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.

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

The code in Listing 15.3.1 produces the following output: