more from Theodore Sider

Single Idea 13688

[catalogued under 5. Theory of Logic / H. Proof Systems / 2. Axiomatic Proof]

Full Idea

Since they are the foundations on which a proof rests, the axioms in a good axiomatic system ought to represent indisputable logical truths.

Gist of Idea

Good axioms should be indisputable logical truths

Source

Theodore Sider (Logic for Philosophy [2010], 2.6)

Book Reference

Sider,Theodore: 'Logic for Philosophy' [OUP 2010], p.46