Alternative Axiomatizations
Further information: List of logic systemsThe axiom 3 above is credited to Łukasiewicz. The original system by Frege had axioms P2 and P3 but four other axioms instead of axiom P4 (see Frege's propositional calculus). Russell and Whitehead also suggested a system with five propositional axioms.
Read more about this topic: Hilbert System
Famous quotes containing the word alternative:
“If you have abandoned one faith, do not abandon all faith. There is always an alternative to the faith we lose. Or is it the same faith under another mask?”
—Graham Greene (1904–1991)