17 13810110361 zuolili@cup. edu. cn 102249 2024, 2/11 2023, 2/5 2022, iÆtlJffi" , 4/11 2022, 6/15 2021, Jù)fJ, 9/15 2020, 1/6 (2018-2021) 2020 14
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?
Formal proof for $ (-1) \times (-1) = 1$ - Mathematics Stack Exchange