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