ホーム > 記事 > モノイド

記事

モノイド

自然数の乗法 (ペアノ算術)

この記事では、ペアノの公理を満たす『自然数』の乗法を定義し、その性質を論じる。ただし、加法はすでに定義できているものとして扱い、その加法は結合的で可換であることもすでに示されているものとする。

(いずれ自然数の記事シリーズを作ってそこに編入したいと考えている)

数学  2018/05/14  k.izumi