Axiom schemes for linearly ordered numerical systems | Synapse