more on this theme | more from this thinker | more from this text
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 Ref
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]