Naming Convention for Teaching and Communication#

This page is for anyone who teaches, preaches, or writes about the axioms on this site and needs to cite them correctly. You do not need a technical background — just a willingness to follow a consistent convention so that your audience can trace your references back to the source.

1. The prose reference convention#

When you mention an axiom, theorem, or other formal element in a sermon, lecture, or paper, use this pattern:

  • First mention: Model + Element. Write Pet ax5 or Pet ax5 --- Containment. This tells the reader which axiom system (Pet) and which element (axiom 5) you are discussing.

  • Subsequent mentions: Element only. Once your audience knows you are talking about the Pet model, you can write just ax5. Switch back to the full form whenever ambiguity is possible — for example, when comparing axioms from different models.

  • Parenthetical style: ax5 (Pet) or ax5 (Jub) works well in footnotes, captions, or inline citations where the model is secondary.

2. Models and what they cover#

Two models are currently active:

Code

Name

Scope

Pet

Pan-En-Theistic foundation

14 axioms (ax1–ax14) formalizing how God and the world relate: containment, transcendence, necessity, presence, sustaining dependence, and a consistency test for revelation claims.

Jub

Jubilee-System extension

11 axioms (ax15–ax25) extending Pet into human agency, delegated authority, non-coercive guidance, genuine love, lasting innovation, and periodic recalibration.

In labels, models are always lowercase: pet, jub. In prose, use title case: Pet, Jub.

3. Element types#

Code

Name

What it is

ax / A

Axiom

A starting assumption — accepted as given so you can see what follows.

th / T

Theorem

A result proven from the axioms. Every theorem traces back to specific axioms.

con

Contra (objection)

A formal objection raised against one or more axioms or theorems.

pro

Pro (response)

A formal response defending the system against an objection.

4. The depth system#

Every formal element can appear at multiple levels of detail, aimed at different audiences:

Depth

Audience

What you get

Easy

General public

Plain-language explanation, everyday analogies, one representative quote per tradition. No formulas. Think museum placard.

Producer

Teachers, communicators

The explanation plus citation guidance, worldview perspectives, and enough formal context to teach from. You are here.

Expert (default)

Researchers, theologians

Full formal statement (LaTeX), complete scriptural citations from all traditions, dependency network, known limitations, and versioning history.

Math

Mathematicians

Formal extraction only: logical framework, axiom statements, proofs. No commentary.

When citing, you may want to specify the depth so your audience lands on an appropriate page. In a label, depth appears as a suffix: pet-ax5-easy, pet-ax5-prod. The bare label pet-ax5 always points to the expert (default) view.

5. Worldview perspectives#

The same axiom can be viewed through different traditions. This is one of the distinguishing features of mathematical theology: each axiom draws independent support from multiple scriptural and philosophical traditions, and any tradition can be examined on its own terms.

Worldview codes use a v prefix:

  • vjud — Judaism (Torah, Talmud, Kabbalah, modern Jewish thought)

  • vchr — Christianity (Gospels, Apostolic writings, Church fathers, modern theology)

  • visl — Islam (Quran, Hadith, Sunni/Shia traditions, Sufi, modern)

  • vhin — Hinduism (Vedas, Upanishads, Bhagavad Gita, Vedanta)

  • vsec — Secular (philosophy, empiricism, humanism, naturalism)

  • Additional views: vbud (Buddhism), vbah (Baha’i), vzor (Zoroastrian), and others.

Source codes use an s prefix for specific textual corpora: stor (Torah), sgos (Gospels), squr (Quran), ssan (Sanskrit texts), and others.

How to reference in teaching: “Pet ax5, as seen through a Jewish lens” corresponds to pet-ax5-vjud. “ax5 with Quran citations” can be found at pet-ax5-squr (source-level) or pet-ax5-visl (tradition-level synthesis).

6. Linking to specific views#

When sharing a link to a specific page, the URL follows the site structure. For example:

  • The easy overview of all axioms: balospe.com/en/matheology/axioms/easy/

  • The expert view of Pet axiom 5: balospe.com/en/matheology/pet/axioms.html#pet-ax5

Within the site, cross-references use RST labels: :ref:`pet-ax5` renders as “Pet-ax5 — Containment” and always resolves, even if files are reorganized.

7. Version pinning for academic citations#

If you are writing an academic paper or any document that needs a stable reference, cite the versioned form. Versions are frozen snapshots that will never change:

  • pet-ax5-oov2 — Pet ax5 as frozen at version OOv2

  • The versioned URL path /matheology/vv/oov2/... is immutable

The unversioned label (pet-ax5) always points to the latest content, which may evolve. For reproducibility, pin to a version.

8. Quick-reference card#

You want to say

Write this

First mention in prose

Pet ax5 — Containment

Subsequent mention

ax5

Parenthetical citation

ax5 (Pet)

RST cross-reference

:ref:`pet-ax5`

Easy version

:ref:`pet-ax5-easy` or pet-ax5-easy

Jewish perspective

pet-ax5-vjud

Pinned to version

pet-ax5-oov2

For the complete naming architecture, see the expert reference. For the technical design decisions behind this system, see the architect page.