Vocabulary
不完全性定理
ふかんぜんせいていり
(Goedel's) incompleteness theorem
noun