Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on Gödel, Escher, Bach: an in-depth explainer. Parent comment
Goodstein's theorem and the Paris-Harrington theorem are some examples of this for ZFC. There are several more, maybe a logician could chime in
There are no comments on this comment yet.
Goodstein's theorem and the Paris-Harrington theorem are some examples of this for ZFC. There are several more, maybe a logician could chime in