You can capture the property “finite” with a first-order sentence over the “standard integers”, I think. This leaves open the mystery of what exactly the “standard integers” are, which looks lightly less mysterious than the mystery of “sets” required for second-order logic.
You can capture the property “finite” with a first-order sentence over the “standard integers”, I think. This leaves open the mystery of what exactly the “standard integers” are, which looks lightly less mysterious than the mystery of “sets” required for second-order logic.