arXiv:2102.13141 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first-order peano arithmetic, revisionist view, early history, first mathematical incompleteness result, number-theoretic form Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset