[计] Godel incompleteness theorem
gē dé ěr bù wán bèi xìng dìng lǐ ㄍㄜ ㄉㄜˊ ㄦˇ ㄅㄨˋ ㄨㄢˊ ㄅㄟˋ ㄒㄧㄥˋ ㄉㄧㄥˋ ㄌㄧˇ