Vocabulary

不完全性定理

(Goedel's) incompleteness theorem

noun