The idea of existence in a mathematical space where individual points are statements connected by proofs is metamathematics, where the perception of mathematics' integrity and lack of underside applies to this space as well; different formalized mathematics systems can have different axioms underneath but still prove the same theorem.