As per grandparent comment, the symbol ∀ "can't complete during the life of the universe".

Right. I was about to comment that that's because you're assuming an infinite domain, but the above definition becomes useless unless you do.

The point, though, was that the behavior characterized by the notation is perfectly reasonable even with finite domains (even if the specific notation is not, which was a fatal flaw).