Bilateral Proof Trace

Every observable traced back to three axioms — click any node to follow the derivation chain

Dunstan Low · ontologia.co.uk

Axiom

Derived

Observable

Select any node to trace its derivation