> > おまえらちょっとゲーデルの定理を説明しろよ
> 数学は人間がどうあがいても曖昧であるか不完全であるかどちらかである。
> また、数学の確実性を追い求めても、それをそれ自身より確実なもので保証することはできない。
> だから、正しいと信じるしかなく、その意味では絶対的な確実性は達成できない。 

一階述語論理ってなによ？

参考：2001/04/07(土)01時16分02秒