Title: NATURAL DEDUCTION The Logical Basis of Axiom Systems