.. meta::
   :description: Labels like Pet ax5 name axioms by model, type, and number. This plain-language guide explains how the site's naming system works in under 500 words.
   :keywords: BEST Names, Pet ax5, label system, axiom naming, plain language guide, beginner, model, type, depth suffix, stable links
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: What Do Labels Like<br>Pet ax5 Actually Mean?
   :og:card:description: Every axiom has a short label like Pet ax5. This beginner guide explains the naming system in plain language so you can navigate, bookmark, and share.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: What do labels like Pet ax5 mean? A plain-language guide to the naming system — no jargon, under 500 words.
   OO :keywords: naming, labels, Pet ax5, plain language, beginner, guide, BEST Names
   OO :og:card:title: What Do Labels Like<br>Pet ax5 Actually Mean?
   OO :og:card:description: A plain-language guide to the naming system used on this site — no jargon, under 500 words. Start here.
   PP :description: Labels like Pet ax5 name axioms by model, type, and number. This plain-language guide explains how the site's naming system works in under 500 words.
   PP :keywords: BEST Names, Pet ax5, label system, axiom naming, plain language guide, beginner, model, type, depth suffix, stable links
   PP :og:card:title: What Do Labels Like<br>Pet ax5 Actually Mean?
   PP :og:card:description: Every axiom has a short label like Pet ax5. This beginner guide explains the naming system in plain language so you can navigate, bookmark, and share.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 150 chars | :og:card:title: 39 chars (excl <br>)
   - [ ] PP title more compelling than OO title
   - [ ] PP description more accurate than OO description
   - [ ] Description hooks without misleading
   - [ ] Keywords specific to this page's actual content
   - [ ] No language rule violations
   - [ ] Character counts verified

.. include:: /_templates/include-file/page-prefix.rst

.. _naming-easy:

*********************************************
How We Name Things on This Site
*********************************************

You might see a label like ``Pet ax5`` or a link that says
``ax5 --- Containment``. What does that mean?

This site explores theological ideas using formal axioms --- precise
starting statements that different traditions can agree or disagree on.
Because there are many axioms, seen through many traditions, at many
levels of detail, every piece of content gets a short label so you can
find it, bookmark it, and share it.


What the labels mean
======================

A label like ``pet-ax5`` has three parts:

1. **pet** is the *model* --- a way of organizing axioms. "Pet" stands
   for Pan-En-Theistic, a set of 14 foundational axioms about how God
   and the world relate. "Jub" is a second model that extends Pet with
   11 more axioms about human freedom and responsibility.

2. **ax** is the *type*. An axiom (``ax``) is a starting assumption.
   A theorem (``th``) is something proven from those assumptions.

3. **5** is *which one*. Axiom number 5.

In conversation, you can write this as **Pet ax5** (or just **ax5** once
the model is clear).


What about the longer labels?
===============================

Sometimes you will see extra pieces after the core label:

- ``pet-ax5-easy`` --- the same axiom, explained for beginners
- ``pet-ax5-vjud`` --- the same axiom, seen through a Jewish lens
- ``pet-ax5-oov2`` --- the same axiom, frozen at a specific version

The core label (``pet-ax5``) always points to the full, expert-level
page. The extra pieces narrow the view to a particular audience,
tradition, or snapshot in time. You never need to memorize these ---
the site links to the right version for you.


What if I am new?
===================

Look for pages marked **easy**. These explain each idea in plain
language, with everyday analogies and no formulas. If an idea catches
your interest, every easy page links to its expert counterpart where
you can find the full formal details.


One thing worth knowing
=========================

Every label is a stable address. You can bookmark it, share it in a
message, or cite it in a paper. The label will keep working even if the
site is reorganized, because labels are permanent identifiers --- like
a building's postal code, not like a street name that can change.

If something is ever retired, the old label will still resolve and tell
you where the content moved. No broken links.


Where to go from here
========================

- :ref:`Axioms --- Easy overview <all-ax-easy>` --- all 25 axioms in
  plain language
- :ref:`Theorems --- What the axioms prove <all-th-easy>` --- what
  follows logically
- :ref:`Naming for teachers and communicators <naming-producer>` ---
  if you need to cite these correctly
- :ref:`Full naming reference <naming-expert>` --- if you want the
  complete system