ParentFull threadcardboard9926·“This guy” revolutionized mathematics and logic by proving Incompleteness TheoremsView on HN