0除算できないのはまだ証明可能だからわかるやろ
2^1/2が-√2にならないのとかはガチでそう定義したからなってるだけやからなこっちの方が納得感薄いわ