>  2005/01/11 (火) 01:13:45        [mirai]
> 数Ⅰがアッパラパーな俺なんだが
> 1+1の証明ってどれくらい難しいの?

ペアノ 公理系
でググれ

参考:2005/01/11(火)01時13分08秒