Concept
Markov's principle
Overview
in constructive mathematics and computability theory, the axiom that given a decidable predicate on natural numbers, if it cannot be false for all numbers, then it is true for some number
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Computability theory
- Intuitionistic logic
- L. E. J. Brouwer
- Rational number
- Real number
- Validity (logic)
- Natural number
- Peano axioms
- Quantifier (logic)
- Classical logic
- Contraposition
- Heyting arithmetic
- Harvey Friedman (mathematician)
Place in the tradition
Part of Minimal logic.