Classical mechanics
Classical mechanics from the operator axioms (derivation)