不完全性定理とか連続体仮説とかのあたりでは"undecidable"は"neither provable nor refutable"の意味で使うよね
"provable and refutable"とは違うよね