Gödel's incompleteness theorems (2022 秋)

https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems

https://en.wikipedia.org/wiki/Kurt_G%C3%B6del (1906-1978)

Gödel's incompleteness theorems were the first of several closely related theorems on the limitations of formal systems.