A related but more concise set-theoretic discussion is given here: https://philosophy.stackexchange.com/questions/9741/what-are...