14/08/20 04:47:19.60
狸
>25 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/19(火) 21:45:08.56
> 自然数の公理が知られている今は 0 は自明である.
> Ring の範囲で自然数から複素数に拡大できる.
> 公理的集合論で 0 をどう定義するかは集合論の事であり本来の数学の話ではない.
>
>27 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/19(火) 23:55:07.47
> 公理的集合論より前にも数学はある.
>
>29 名前：KingMathematician ◆LoZDre77j4i1 ：2014/08/20(水) 00:53:06.14
> Re:>>28 零の法則を満たす. a+0=0+a=a.
>