Definition:Johansson's Minimal Calculus/Axioms