existential mathematics