>>714
そうですか。私の場合、前の日から試験の時間直前まで証明を丸暗記して@取れたけど
証明の意味についてはさっぱり理解できないまま。鬱
この科目は、最初に「ゲーデルの不完全性定理」の証明を目的とする、とはっきり書いてあるので
試験問題は、どう考えてもそれしか出ないことが予想される希有な例ですね。