自然数の (生成するという意味で) 根本的な性質っていろいろある。 と から成る構造 の上の自由モノイド 素数列の上の自由可換モノイド ( はないけど) それぞれ用途がある: 帰納法 加法 乗法 いろんな世界を行き来するというのは簡単そうでちょっとむずかし…