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?
dormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, cormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, vormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, gormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, tormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, rormal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, firmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fkrmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, flrmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fprmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, f0rmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, f9rmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, foemal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fodmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fofmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fotmal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fo5mal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fo4mal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, fornal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, forkal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, forjal proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formzl proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formsl proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formwl proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formql proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formak proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formap proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formao proof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal oroof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal lroof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal -roof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal 0roof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal peoof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pdoof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pfoof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal ptoof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal p5oof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal p4oof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal priof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prkof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prlof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prpof for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pr0of for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pr9of for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proif for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prokf for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prolf for $(-1) times (-1) = 1$ – mathematics stack exchange, formal propf for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pro0f for $(-1) times (-1) = 1$ – mathematics stack exchange, formal pro9f for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prood for $(-1) times (-1) = 1$ – mathematics stack exchange, formal prooc for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proov for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proog for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proot for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proor for $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof dor $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof cor $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof vor $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof gor $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof tor $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof ror $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fir $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fkr $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof flr $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fpr $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof f0r $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof f9r $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof foe $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fod $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fof $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fot $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fo5 $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof fo4 $(-1) times (-1) = 1$ – mathematics stack exchange, formal proof for $(01) times (-1) = 1$ – mathematics stack exchange, formal proof for $(p1) times (-1) = 1$ – mathematics stack exchange, formal proof for $(-2) times (-1) = 1$ – mathematics stack exchange, formal proof for $(-q) times (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) rimes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) fimes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) gimes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) yimes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) 6imes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) 5imes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tumes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tjmes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tkmes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tomes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) t9mes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) t8mes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tines (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tikes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tijes (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timws (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timss (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timds (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timrs (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tim4s (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) tim3s (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timea (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timez (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timex (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timed (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timee (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) timew (-1) = 1$ – mathematics stack exchange, formal proof for $(-1) times (01) = 1$ – mathematics stack exchange, formal proof for $(-1) times (p1) = 1$ – mathematics stack exchange, formal proof for $(-1) times (-2) = 1$ – mathematics stack exchange, formal proof for $(-1) times (-q) = 1$ – mathematics stack exchange, formal proof for $(-1) times (-1) = 2$ – mathematics stack exchange, formal proof for $(-1) times (-1) = q$ – mathematics stack exchange, formal proof for $(-1) times (-1) = 1$ – nathematics stack exchange, formal proof for $(-1) times (-1) = 1$ – kathematics stack exchange, formal proof for $(-1) times (-1) = 1$ – jathematics stack exchange, formal proof for $(-1) times (-1) = 1$ – mzthematics stack exchange, formal proof for $(-1) times (-1) = 1$ – msthematics stack exchange, formal proof for $(-1) times (-1) = 1$ – mwthematics stack exchange, formal proof for $(-1) times (-1) = 1$ – mqthematics stack exchange, formal proof for $(-1) times (-1) = 1$ – marhematics stack exchange, formal proof for $(-1) times (-1) = 1$ – mafhematics stack exchange