A detailed explanation of one of the most important results in the history of math.
语言:HTML · GitHub 星标:9 · Fork:2
话题:godel · incompleteness · math · theorems
在 GitHub 上查看原仓库