Up 0との和 ──零元 作成: 2013-06-04
更新: 2013-06-04


    数0は,数の加法に関する零元になる。
    ──すなわち,つぎが成り立つ:
任意の数nに対し,n+0=0+n=n

    以下,「n+0=n」を示す。
「n+0」の図式:

    ここで,q+0 であるから,uq+0の比であるn+0は,uの比である。
    そしてuの比はnであるから,結局 n+0=n。