Let’s put it this way: Any computer program I have ever written to handle quantification would crash or loop forever if you tried to give it such a statement.
What encoding scheme would you use to encode arbitrary, possibly infinite, sets in a computer?
What encoding scheme would you use to encode arbitrary, possibly infinite, sets in a computer?
I could, worst case, use the encoding scheme you use to write them down on paper when you prove things about them.