that 3 is greater in value than the number 2, yet smaller in size than the number 1.
But more seriously - you're conflating a mathematical model with the reality we're observing. Our number systems (all the varieties of math) are subject to foundational contradictions and paradoxes, and proofs within them can be incredible tools - but they are not objective truths.
We assume that the universe we experience and model is the same as the universe far, FAR away - and that's a reasonable and logical assumption - but it's STILL an assumption.
You didn't distinguish between model or reality you just wrote you can't "prove" that something does not exist.
And even in reality you can disprove things, you just need to define the environment.
You can't disprove non existence in reality things universally and at all times.
