warpus
Sommerswerd asked me to change this
So is the number of true statements.
1. This is a statement.
2. Statement 1 is a statement.
3. Statement 2 is a statement.
etc.
Not the set of base true statements that you need to build all the other true statements, though. The spanning set of true statements should be finite.
And since we're going for a list that's meant to be practical rather than the opposite, we can agree not to include obvious truths in it.. right? "Every sentence is a statement" vs listing every single possibility. So it should be finite. Technically infinite if you want to try to make it useless on purpose.