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 PET Axioms ax1–ax14

  • 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 JUB Axioms — ax15–ax25 (Group VI: Agency & Delegation)

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.



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