The validity of mathematical propositions is independent of the actual world—the world of existing subject-matters—is logically prior to it, and would remain unaffected were it to vanish from being.
The Pastures of Wonder: The Realm of Mathematics and the Realm of Science (1929)