Bound variables in quantified statements directly express what a theory claims exists, making them a...
This proposition has not been edited since the history system was added.