13609 | Frege produced axioms for logic, though that does not now seem the natural basis for logic [Kaplan on Frege] |
13619 | Quantification adds two axiom-schemas and a new rule [Bostock] |
13622 | Axiom systems from Frege, Russell, Church, Lukasiewicz, Tarski, Nicod, Kleene, Quine... [Bostock] |
13688 | Good axioms should be indisputable logical truths [Sider] |
13687 | No assumptions in axiomatic proofs, so no conditional proof or reductio [Sider] |
12198 | Geometrical axioms in logic are nowadays replaced by inference rules (which imply the logical truths) [Rumfitt] |