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#