.. meta::
   :description: Pet axioms originated on 2026-03-11 when LLoL asked Claude Opus for axioms on a whim. The results triggered a full development and review programme.
   :keywords: Pet history, origin, 2026-03-11, Claude Opus, AI collaboration, LLoL, axiom development, poster review, PPv1, mathematical theology, panentheism
   :author: Yah, Yas, everyone, LLoL as Laurence Loewe of Laodicea, ClaudeOp46Max, Anthropic, and Spirit of Boolean Truth
   :og:card:title: Pet History — Origin<br>of the Axiom System
   :og:card:description: An impromptu AI session on 2026-03-11 produced 14 axioms surprising enough to trigger poster review, Jub extension, and adversarial stress-testing.

.. SOCIAL-CARD-QUALITY-COMPARE --- OO (default effort) vs PP (max effort), 2026-03-26
   OO :description: How the PET axiom system originated on 2026-03-11 when LLoL asked Claude Opus to propose axioms for a mathematical theology on a whim.
   OO :keywords: matheology, PET, history, origin, Claude Opus, axiom development, mathematical theology, AI collaboration, 2026, LLoL, panentheism
   OO :og:card:title: PET History<br>Origin of the Axiom System
   OO :og:card:description: The PET axioms began on 2026-03-11 when an impromptu AI session produced results surprising enough to trigger a full development programme.
   PP :description: Pet axioms originated on 2026-03-11 when LLoL asked Claude Opus for axioms on a whim. The results triggered a full development and review programme.
   PP :keywords: Pet history, origin, 2026-03-11, Claude Opus, AI collaboration, LLoL, axiom development, poster review, PPv1, mathematical theology, panentheism
   PP :og:card:title: Pet History — Origin<br>of the Axiom System
   PP :og:card:description: An impromptu AI session on 2026-03-11 produced 14 axioms surprising enough to trigger poster review, Jub extension, and adversarial stress-testing.

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

*************************************************************************
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:

- :doc:`llog/index` — ongoing PET development logs
- :doc:`/matheology/hell/ll/pet/index` — PET session logs (origin through poster)
- :doc:`/matheology/prior-art/ai-opus-search-2026m03d11-matheology` — prior-art
  survey