Some true claims about logic's limits (e.g., Gödel's theorems) necessarily transcend the systems the...
This proposition has not been edited since the history system was added.