Home›Computability theory›reverse mathematics🌐EnglishEnglishDeutschEspañolFrançaisItalianoTürkçe中文日本語EntityQ2005236· pop 8· linked from 369 articlesreverse mathematicsAlso known as reverse mathBranch of mathematical logicWikidata factsShow 1 more factStack Exchange tagmathoverflow.net/tags/reverse-mathSources (3)wikidata.orgdocs.openalex.orgweb.archive.orgvia Wikidata · CC0Available in 8 languagesEspañolFrançaisDeutsch中文日本語ItalianoTürkçevia Wikidata sitelinks · CC0ConnectionsconstructivismEntitysemantic theory of truthEntityCategoriesComputability theoryMathematical logicProof theory