Sure, you can come up with a formal system that bears no correspondence to the real world whatsoever. Mathematicians just won’t consider it very interesting most of the time.
They call it “pure mathematics”.
They call it “pure mathematics”.