In fact, you can build a system of definitions that very clearly doesn’t exist in real world, like hyperbolic geometry.