arXiv:2209.07122 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords assumption, consistency, godelian sentences, proof-theoretic notion, incompleteness theorems Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset