>>27
ってことは全部足し算でできるってこと?
ペアノの公理だっけ?
あれで全部いけると?