Instance-wise verification of infinite claims is impossible in principle; rejecting schema-theoretic...
This proposition has not been edited since the history system was added.