The following is the source code for post >>>/math/332
I had a thought that continuous sets are not real, but they are limits of discrete sets such as that gaps between two closest points are small, but we don't really know (or don't want to know) how small they are.