> > じゃあ理解できる能力の正しさを証明するには表現できなきゃいけないってことで決まりじゃん(´ー｀)
> 証明するには表現できなくてはならないけど、証明できないこともあるって話なんだよ(´ー｀)

証明できなくても存在することもあるってのをどうやって証明するんだよ(´ー｀)

参考：2005/05/20(金)06時26分45秒