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
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 машинный перевод
pt axioma da matemática construtiva e teoria da computabilidade sobre predicados decidíveis nos números naturais машинный перевод