Systematic Derivation of First-Order Basic Laws Based on the W≡0 Fundamental Axiom | Synapse