Jump to content

reverse mathematics

From Wiktionary, the free dictionary

English

[edit]
English Wikipedia has an article on:
Wikipedia

Noun

[edit]

reverse mathematics (uncountable)

  1. A program in mathematical logic that seeks to determine which axioms are required to prove theorems.