自然数 is a モノイド

と自然にみなす方法は2通りある
その方法は自然数の定義とは関係ない