arXiv:1301.3392 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords kolmogorov complexity, axiomatic power, true statements, consistent sufficiently rich formal theory, infinite binary sequence Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset