Definition:Johansson's Minimal Logic/Axioms

Definition
