

Realistically, that doesn’t happen. At least not if we consider mathematics to be the useful kind of mathematics. The stuff that helps you do statistics/finances/engineering. Because that type of mathematics is based on reality and for the mathematics to be inconsistent would mean that reality is inconsistent, and then we have much much bigger problems.
As for the higher abstract maths (which is closer to philosophy anyways) yeah such things have happened many times and led to revolutionary insights each time. An example is when we started basing everything on set theory (which in medieval times did not really exist). But that’s a philosophical question, not one that concerns daily life.









omg, what a word :o :D
but in general, yes you’re right, adding DIDs to the game is interesting, and making the DIDs also valid URLs is even more interesting. I have been thinking about a similar DID mechanism, where the DIDs are not URLs but public cryptographic keys. this way, each human could prove that many accounts are all signed with the same key, and therefore belong to the same human.
Edit: oh wait i think the official(?) DID specification (here: https://www.w3.org/TR/did-1.0/) actually already expresses this concept: