1+4と2+3は同値だけどどっちを公理にすればいいですか?w
maximaの勉強じゃなくて用語の定義を勉強しなおせよw