Categories October Surprise 2024 arithmetic – Formal proof for $(-1) times (-1) = 1$ – Mathematics … Post author By Post date August 21, 2026 Is there a formal proof for $(-1) \times (-1) = 1$? It’s a fundamental formula not only in arithmetic but also in the whole of math. Is there a proof for it or is it just assumed?