[ukj]

Also, I didn't start with set theory to get here. I started with Type theory as foundational.

[throway88989898]

It's outside my knowledge space. What are the implications to computability or mathematics?

[ukj]

The law of identity is a blunder. It's the Principle of explosion in disguise.

If one x = x can be trivial to determine But another x = x is infinitely complex then in one single law you have a triviality and infinity.

That's the principle of explosion !