理論の不完全性，決定不能性，分離不能性
https://www2.kobe-u.ac.jp/~tk/jp/workshop/LWS2.html