Natural deduction, the logical basis of axiom systems | lit.salon