> > そんなもんｹﾞｰﾃが200年前に言ってる
> 数論の無矛盾な公理系は必ず決定不能な命題を含む(ﾟДﾟ)

ｹﾞｰ出る(;´Д`)
　　　　　 川

参考：2008/04/02(水)12時20分15秒