Axiom-Like Elements

$\DeclareMathOperator{\homop}{Hom} \newcommand{\Hom}[2]{\homop\left(#1,\,#2\right)} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} $

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>

Listing 15.3.1. An axiom

The code in Listing 15.3.1 produces the following output:

Axiom 15.3.2 (Peano). Optional.

Here’s the statement of the axiom.

Prev Top Next