Comment by naasking

I think your closing paragraph holds the key. 5 doesn't really exist, it's a constructor that parameterizes over something that does exist, eg. you never have "5", you have "5(something)". Saying 5 is prime is then saying that "for all x, 5(x) has the same structural properties as all other primes".