PET History

The PET axiom system originated on 2026-03-11 when LLoL asked Claude Opus on a whim to propose axioms for a mathematical theology. The quality of the result was surprising enough to trigger the full development programme.

For the complete development record, see:

• PET Development Log — ongoing PET development logs

• LL/PET — PET Development Session Logs — PET session logs (origin through poster)

• Prior Art for Matheology — prior-art survey