Theorems

Theorems are derived consequences — things the axiom system proves, not things it assumes. Every theorem here follows logically from the axioms; if the axioms hold, the theorems hold.

The theorems are derived from two model layers, maintained at their respective Place of Reasoning (PoR):

• PET (t1–t4): Derived from the PET axioms a1–a14. These establish that creation cannot exist without God, that God is necessarily present to and sustaining every part of creation, and that God is genuinely affected by what happens in the world.

  Canonical definitions live in its PoR at PET Theorems

• JUB (t5–t11): Derived from the full axiom set a1–a25. These build toward the innovation theodicy — formal results about responsibility, evil, and the structural case for Jubilee-based economic recalibration.

  Canonical definitions live in its PoR at JUB Theorems — th5–th11

  Note

  t5–t11 are proto-formal: their predicates lack full formal semantics and the proofs are not yet machine-checkable. See the JUB PoR status note for details and the formalization roadmap.

Compiled views:

• Theorems — Expert View (All Models)
• Theorems — What the Axioms Prove