Markov's principle — 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.
ru принцип конструктивной математики и теории вычислимости machine-translated
fr axiome de la logique constructive affirmant que si un prédicat décidable sur les entiers naturels ne peut être faux pour tout entier, alors il est vrai pour un certain entier machine-translated
pt axioma da matemática construtiva e teoria da computabilidade sobre predicados decidíveis nos números naturais machine-translated