arXiv:2006.01057 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords second incompleteness theorem, excluded middle pertains, boundary-case exceptions, publications showed semantic tableau, showed semantic tableau admits Tags conference paper Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset