[harshavr]

Nice explanation, though I dont see how this leads you into becoming a formalist at the end. That countable models exist for the set theoretic universe, seems like part of the phenonmena of infinite structures having perfect reflections in subsets. This is, of course, much more breathtaking than the more usual facts like the natural numbers having the same cardinality as even numbers since cardinality is transcended and the whole universe collapses into a countable set.