>>13816638If you accept Explosion, then if your theory proves 0=1, then it proves everything, and in particular the existence of anything you can describe. It's a strong existence axiom in that sense. E.g. consider a theory of a ring with three distinct elements A, B and C. If A=B, then this ring provably has 74 elements.