reverse mathematics (Q2005236)
Jump to navigation
Jump to search
branch of mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics
- reverse math
Language | Label | Description | Also known as |
---|---|---|---|
English | reverse mathematics |
branch of mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics |
|
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(8 entries)
- dewiki Reverse Mathematik
- enwiki Reverse mathematics
- eswiki Matemáticas inversas
- frwiki Mathématiques à rebours
- itwiki Matematica inversa
- jawiki 逆数学
- trwiki Tersine matematik
- zhwiki 逆数学