Axiomes ↔ Sphaera

Les axiomes ne décrivent pas Sphaera.
Sphaera n’illustre pas les axiomes.

Les axiomes définissent
ce qui doit rester vrai.
Sphaera est une tentative de construction
dans laquelle ces invariants ne sont pas violés.

Si un axiome est faux,
Sphaera est invalide.

Si Sphaera viole un axiome,
elle doit disparaître.

Il n’y a pas de démonstration ici.
Seulement une contrainte assumée.