ゲーテルの不完全性定理と計算可能性の話で全部記述することは無理なんじゃなかった?