Single Idea 13689

[catalogued under 4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL]

Full Idea

Formulas provable from no premises at all are often called 'theorems'.

Gist of Idea

'Theorems' are formulas provable from no premises at all

Source

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

Book Reference

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


Related Idea

Idea 9518 A 'theorem' is the conclusion of a provable sequent with zero assumptions [Lemmon]