決定可能性
decidability
完全性
アロンゾ・チャーチ
ウィラード・ヴァン・オーマン・クワイン
https://ja.wikipedia.org/wiki/決定可能性