By Gödel incompleteness, the fundamental axioms of mathematics actually don't quite pin down the world of mathematics the way we would perhaps like them to do. As a consequence (also a result by Gödel), there are actually many worlds of mathematics, each spelling out the basic notions of mathematics in slightly different ways.

I tried to survey this multiverse philosophy here: https://iblech.gitlab.io/bb/multiverse.html