>>1
＞-×-＝+は定理なのだろうか定義なのだろうか

一方で、分配法則は定義なのか定理なのか、という問いは目にしないな（ｗ
例えばロビンソン算術では、分配法則は定理になる。