@modulux You know how numeric probabilities can vary depending on how equipotentiality is defined, and it sometimes be left implicit with multiple equally plausible "obvious" definitions?
Modelling the information flow of abstract mathematics as such runs into this same sort of problems. Nobody has axiomatised it; there's a bunch of common intuitive assumptions, but a lot of them are ... well, you can pry them loose and justify it if you want to, and sometimes, get interesting results this way. But a lot of times, you don't get anything, or maybe you will have to nail down your own (quasi)-axioms first. These aren't like the axioms of modern geometry; they're really kind of like what Eukleides wrote in the beginning of The Elements, and then never did anything with because it didn't make any sense.[1]
So you see why I suggested a huge mug of beer for dealing with this stuff.
[1] Caveat: if you go searching, a lot of sources offer modern axiomatic geometry instead of Eukleides' original work — still because his vague notion of foundations didn't make sense, and now we actually have the axioms that could have been used for the conclusions he went on to, pardon the pun, draw. Most of the rigorisation work was done in the 1600s' Italy; the lingering hairy problem of the Parallels' Axioms was eventually solved by Lobachevskiy in early 1800s by demonstrating that it can be reversed without breaking anything else, and Euklidean geometry as understood by moden mathematics generally rests on Hilbert's[2] work from the pinnacle of the 19th century, as in, it was published in 1899. But it can be great fun to read translations of the original Elements, including the crappy parts.
[2] You might have heard of his hotel, which has a countable infinity number of rooms. Ijon Tichy was a repeat customer.
