0474ご冗談でしょう?名無しさん垢版 | 大砲2013/08/19(月) NY:AN:NY.ANID:??? 不完全性定理とか連続体仮説とかのあたりでは"undecidable"は"neither provable nor refutable"の意味で使うよね "provable and refutable"とは違うよね