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.
Listing 15.3.1. An axiom
<!--********************************************************************
Copyright (C) 2019-2026  Robert A. Beezer

This file is part of PreTeXt.

PreTeXt is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 2 or version 3 of the
License (at your option).

PreTeXt is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with PreTeXt.  If not, see <http://www.gnu.org/licenses/>.
*****************************************************************-->

<axiom>
    <title>Optional</title>
    <creator>Peano</creator>
  <statement>
    <p>
      Here's the statement of the axiom.
    </p>
  </statement>
</axiom>
The code in Listing 15.3.1 produces the following output:
PrevTopNext