Properties, Skolem and the Interpretation of Second-Order Logic

Motionless Gödel's Long Strides. Note on the Contemporary Versions of Zeno's Arguments