> > 数論の無矛盾な公理系は必ず決定不能な命題を含む(ﾟДﾟ)
> ｹﾞｰ出る(;´Д`)
> 　　　　　 川
　　　　 ノ(｡○｡)ヽ

参考：2008/04/02(水)12時22分51秒