Models#

Why do models matter? Because they force vague claims into precise form. A claim that is vague can mean anything — and a claim that can mean anything is useless for finding out what is actually true. Formal models take an idea (about God, about economics, about how systems evolve), state its assumptions as explicit axioms, derive consequences as theorems, and then test whether the consequences hold up under adversarial scrutiny. If they do, the model survives — for now. If they don’t, the model must be corrected.

This matters for everyone, not just mathematicians. Every institution you trust — your government, your employer, your church — operates on implicit models of how the world works. When those models are wrong, people get hurt. The question is not whether you use models, but whether the models you use are honest enough to be checked.

For those who want to learn more about formal modeling in general, the following resources may help:

Models on This Site#

The models here form a layered stack. PET and JUB provide the theological and economic foundations. The e7-family models (e7Day, e7He, e7Ch, e7Tr) formalize specific aspects of system construction and human agency. BABL and ZION describe the two attractors (self- destructive and life-giving) that every agent and institution tends toward.

Foundation Models#

These two models are foundational to everything else and are therefore presented directly under the matheology section rather than in this folder:

  • PET — Pan-En-Theism. 14 axioms in 5 groups formalizing panentheism with mereology and S5 modal logic. Six traditions independently support the same formal structure.

  • JUB — Jubilee-Based Innovation Economy. Extends PET with 11 axioms (ax15–ax25) and 7 theorems (th5–th11) formalizing why human innovation failure causes evil and how Jubilee-System resets help.

System and Agent Models#

Attractor Models#