>>595
出てこないよ。目標は不完全性定理の理解だからね。