reverse mathematics

短语

释义与例句

n.
  1. 1.

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

    不可数