arXiv:2004.09110 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords natural numbers, notation system, first purely number-theoretic statement, base-change maximality, ackermann function Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset