If we define a tautology as proposition that is always true (or necessarily true) are all mathematical theorems tautologies?
Are all mathematical theorems tautologies?
Paul Mickus
- 69
- 1
- 4