Set-theoretic theorems prove specific facts (e.g., Cantor's diagonal argument), not merely structura...
This proposition has not been edited since the history system was added.