.. meta::
   :description: All 25 axioms of mathematical theology compiled from Pet (ax1--ax14) and Jub (ax15--ax25) canonical sources, presented at beginner and expert depth levels.
   :keywords: axioms, mathematical theology, Pet ax1-ax14, Jub ax15-ax25, mereology, modal logic, panentheism, innovation theodicy, compiled views, easy depth, expert depth
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: All 25 Axioms<br>— Pet and Jub Combined
   :og:card:description: Pet axioms ax1--ax14 formalize panentheism with mereology and modal logic. Jub axioms ax15--ax25 add agency, delegation, and Jubilee-System economics.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: All 25 axioms of mathematical theology in one place — PET (ax1-ax14) and JUB (ax15-ax25) from their canonical sources.
   OO :keywords: axioms, mathematical theology, PET, JUB, ax1-ax25, mereology, modal logic, pan-en-theism
   OO :og:card:title: All 25 Axioms of<br>Mathematical Theology
   OO :og:card:description: The complete integrated listing — PET axioms ax1-ax14 and JUB axioms ax15-ax25 compiled from their canonical sources.
   PP :description: All 25 axioms of mathematical theology compiled from Pet (ax1--ax14) and Jub (ax15--ax25) canonical sources, presented at beginner and expert depth levels.
   PP :keywords: axioms, mathematical theology, Pet ax1-ax14, Jub ax15-ax25, mereology, modal logic, panentheism, innovation theodicy, compiled views, easy depth, expert depth
   PP :og:card:title: All 25 Axioms<br>— Pet and Jub Combined
   PP :og:card:description: Pet axioms ax1--ax14 formalize panentheism with mereology and modal logic. Jub axioms ax15--ax25 add agency, delegation, and Jubilee-System economics.

.. SOCIAL-CARD-REVIEW --- generated by Claude Opus 4.6, 2026-03-26
   dv_ClaOp46_PP_2026m03d26 --- max-effort rewrite, read full page.
   :description: 149 chars | :og:card:title: 35 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

.. compiler:protected
   DD-b12: This file is human-crafted. The cross-model compiler
   must never overwrite, modify, or regenerate this file.

.. _axioms:

**********************************************************
Axioms
**********************************************************


-All Axioms of Mathematical Theology
-This page provides the complete integrated listing of all axioms in the
-matheology system, drawn from their canonical sources.


Mathematical theology starts with axioms --- explicit statements about
God and the world that serve as the foundation for everything that
follows. The axioms here are compiled from the following models, 
maintained at their respective Place of Reasoning (PoR):

- **PET (a1-a14):** Pan-En-Theistic mathematical theology. These axioms
  use mereology (part-whole logic) and modal logic to formalize the
  panentheistic claim that the world exists *within* God but God exceeds
  the world. It's axioms a1-a14 cover containment, modality, relation, divine
  nature, and a method for testing revelation claims.
  
  Canonical definitions live in its PoR at :doc:`/matheology/pet/axioms`

- **JUB (a15--a25):** Jubilee-based innovation economy extension. These
  axioms add human agency, divine delegation, and the conditions under
  which innovation failure produces evil. They build toward a formal
  innovation theodicy and the case for a Jubilee-based recalibration
  mechanism.

  Canonical definitions live in its PoR at :doc:`/matheology/jub/axioms`

The vision driving mathematical theology is to formalize such important
insights that govern reality, simply because they are true. 
If God is Truth and mathematics helps to undestand truth, then 
every truth discovered in mathematics is a truth about God and
mathematics is a branch of theology ­ to paraphrase Hilda P. Hudson (1925, 
https://mathshistory.st-andrews.ac.uk/Extras/Mathematics_eternity/).

To help make all this more accessible, the compiled views below present 
the same content at different depths
for different audiences.


Which depth should I choose?
==============================

- **Beginner-friendly (easy):** Written in plain language with no
  formulas. Start here if you are new to formal theology, philosophy,
  or mathematics. Each axiom gets a short explanation and one memorable
  quote from across the world's traditions.

- **Expert:** The full 45-field PoR extraction, including formal
  statements, all scriptural citations, technical context, network
  dependencies, and stub markers for fields not yet populated. This is
  for researchers, reviewers, and contributors.


.. toctree::
   :maxdepth: 1

   expert/index
   easy/index
   axioms-vsec



|

------------------------------------------------------------------------------------------

|

If you believe that it is worth replacing eschatological warfare between nuclear
and other nations on Earth with mathematical clarity,
then please consider :doc:`supporting this work by buying in </buy-in/index>`
towards scaling up a ResearchCity that can actually do it (see box below).