Axioms ↔ Sphaera

Axioms do not describe Sphaera.
Sphaera does not illustrate axioms.

Axioms define
what must remain true.
Sphaera is an attempt to build
without violating these invariants.

If an axiom is false,
Sphaera is invalid.

If Sphaera violates an axiom,
it must disappear.

There is no demonstration here.
Only an assumed constraint.