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?