HN Explorer
↵
Trending
Stats
☾
gigabytes
↗ HN profile
[
57.0 ms
]
full profile
Karma
1
Created
September 4, 2019
(6y ago)
Submissions
0
Submissions
0
Comments
1
Guys, this is the completeness theorem, not the incompleteness theorem.
6y ago
·
view thread
·
↗
Guys, this is the completeness theorem, not the incompleteness theorem.