arXiv:1807.05641 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords open problem, inconsistency, vladimir voevodsky gave, first-order peano arithmetic, expository article attempts Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset