If you cannot differentiate A from not-A, there is nothing.
Axiom 0 — Distinction
Any system capable of containing information requires
at least one distinction. Formal structure, not physical.
Axiom 1 — State
A distinction implies at least two mutually exclusive states.
Axiom 2 — Transition
The transition between states is what is called movement.
Nothing above requires a substrate. Classical logic's 0/1
is one instance of Axiom 0, not its foundation — every computable
system is built on some distinction, of which binary is only the most
familiar case.
consistent transition → stable pattern
stable pattern → structure
consistent structure → geometry
stable geometry → the dynamics we call physics
Each step is a claim about what consistency across iteration permits, not an assertion that any given system reaches the next stage.
.me Instantiates This, VerifiedThis isn't left at the level of metaphor. The same A / ¬A distinction is the literal, source-verified behavior of a secret scope:
me.wallet["_"]("vault-key");
me("wallet") // ⊥ — not "locked": the branch is not in the public index at all
Without the key, wallet does not resolve as hidden data —
it does not resolve at all, because the public index the kernel reads
from was never populated with that prefix. The distinction isn't
enforced after the fact by a check; it's what the space either does or
doesn't contain. Full mechanism:
The Algebra of Encrypted Audiences.
The application of this same axiom specifically to identity — self- validation, fractal recursion, and computational sovereignty — is developed separately: The Ontology of Identity.