You might want to put parentheses around the B ∧ C in Axiom 5: at first I had interpreted it as meaning ‘(A → B) ∧ (A → C) → ((A → B) ∧ C)’ and was like ‘WTF?’
(belatedly) corrected.
You might want to put parentheses around the B ∧ C in Axiom 5: at first I had interpreted it as meaning ‘(A → B) ∧ (A → C) → ((A → B) ∧ C)’ and was like ‘WTF?’
(belatedly) corrected.