0120132人目の素数さん垢版 | 大砲2017/09/06(水) 16:45:34.09ID:iW1AAutt 意味わかってて書いてるのかな ペアノの公理系の0や1はただの名前だから、0も1も登場しない ペアノの公理系を出発点として加法を追加するとき、加法の定義の仕方で0を含むかどうかが分かれる