Principe de Markov — 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.
en 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 принцип конструктивной математики и теории вычислимости traduction automatique
pt axioma da matemática construtiva e teoria da computabilidade sobre predicados decidíveis nos números naturais traduction automatique