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. Mathematical propositions, if true, are eternal verities.