不完全定理の証明だた…数学が嫌いになりつつある今日この頃orz