User blog comment:LittlePeng9/Addition is commutative/@comment-5307762-20141008111228/@comment-80.98.179.160-20180306135054

If using the 2 remaining axioms, this wouldn't be so large. Or is that false?