数学で扱われる「点」は点ではないし「円」も円ではない。完全に抽象的なものだ。
「-1 × -1 = 1」も、定義を踏まえ式変形すれば簡単に証明できる。「理由が分からない」とか「借金が…」とか言っているのは抽象化ができてないのである。