>>391
不完全性定理を用いて>>390を証明する方法を教えてください