0の定義:a+0=a
−の定義:−a+a=0
結合法則:a+b+c=a+(b+c)
交換法則:a+b=b+a
掛け算の定義:1が存在して結合法則と分配法則を満たすような演算のことを掛け算と呼ぶ
1の定義:a×1=a
結合法則:a×b×c=a×(b×c)
分配法則:a×(b+c)=a×b+a×c
これらの定義だけを使って(−1)×(−1)=1を証明することができます
(−1)×(−1)
=(−1)×(−1)+0 ※0の定義
=(−1)×(−1)+(−1+1) ※−の定義
=(−1)×(−1)+(−1)+1 ※結合法則
=(−1)×(−1)+(−1)×1+1 ※1の定義
=(−1)×(−1+1)+1 ※分配法則
=(−1)×0+1 ※−の定義
=(−1)×0+1+0 ※0の定義
=(−1)×0+0+1 ※交換法則
=(−1)×0+(−1+1)+1 ※−の定義
=(−1)×0+(−1)+1+1 ※結合法則
=(−1)×0+(−1)×1+1+1 ※1の定義
=(−1)×(0+1)+1+1 ※分配法則
=(−1)×(1+0)+1+1 ※交換法則
=(−1)×1+1+1 ※0の定義
=−1+1+1 ※1の定義
=0+1 ※−の定義
=1+0 ※交換法則
=1 ※0の定義
確かに定義から完璧に証明できてる


























































































