0565132人目の素数さん垢版 | 大砲2018/03/24(土) 07:01:14.17ID:ucdOtpAk ペアノの公理で定義される集合の上で加法と乗法を定義して、 最初の要素が何であるかを定める、というべきだったか それで、例えば最初の要素が-1になるように加法を定義すると (-1)+(-1)があるから閉じていなくなる