質問スレが、問題に関する質問スレしか無かったのでここで書かせて頂きます。



-1*0=0
-1*(1-1)=0
-1*{1+(-1)}=0
(-1*1)+(-1*-1)=0
-1+(-1*-1)=0
-1*-1=1



このように、公理から定理？を導くような数学の範囲は「数学基礎論」の分野という認識でよろしいのでしょうか？
また、違うのなら、該当する分野を教えて頂けたら嬉しいです。
調べてもよくわかりません……