However, it is well known that such sentences cannot be interpreted in so-called first-order logic, where individual variables stand in for individual things, and must be represented in some second-order form.
However, it is well-known that sentences of this kind cannot be interpreted in first-order logic, where individual variables stand for individual things. Instead, they must be represented in some second-order form.