You are right in one way about this, mathematical knowledge is different from philosophy about the other sciences. And contrary to the subjective pre-conditions that you deem is relative, mathematics no matter how philosophically elusive in its status, carries systematized nature that is even more certain than the other sciences and way less error-prone as a methodology from its bodied composition, no matter how incomplete. Going into ontology and epistemology, mathematics got a strange quality in the knowledge sphere. I really encourage you to read my perspective on the other thread if you haven't because its philosophical status is a lengthy process of discussion in itself.
Godel's Platonism claims abstract objects and concepts are as objective as physical things in the real world. I believe it is another form of
thing that we cannot conceptually describe properly, mathematics just so happens the language we use to imperfectly superimpose upon our knowledge-seeking behavior to align understanding of reality. If we had hold of that thing, it would be a better navigator to infer upon reality.
I think not math itself, but where it exists is a miracle.
For example in a related note with logic, something needs a defined truth value to be validated or not. But you're on to a separate matter from general truth here, kind of. I think math and the philosophy of math are other conversations, to be honest. Even when prescribing logic as a methodology, you already need to know if the statement (axiom) carries properties of set defined parameters that carry truth values. This means that the statement and methodology are two different things and that by carrying on the process you already accept that truth is separate from the methodology.
And yes, logical consistency might not mean it is correct. That's why deductive reasoning is not always reflective of real things. For example, there are valid statements that are not sound.
For example:
If it's raining, then cows will fly.
It's raining.
Therefore, cows will fly.
This above argument is valid but carries no soundness. A statement being sound means it is true. So, what you conclude is, that contrived deductive inferences do not necessarily carry correspondence with the truth.
View attachment 257438
Simply put, if the total of α and β is less than 180°, then the two lines are not parallel and will eventually meet. If the amount of the angles combined is over 180° then the lines will never meet. The thought was, how do we know if two parallel lines are truly parallel and will never meet if it hypothetically is infinite in length?
I think this is a weird one to set an example of as an axiom, not going to lie.