Isn’t that more a consequence of the stronger statement that you just can’t write down all valid inferences in the second-order system?
Isn’t that more a consequence of the stronger statement that you just can’t write down all valid inferences in the second-order system?