Mathematical existence requires only formal consistency within an axiomatic system, not ontological ...