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 принцип конструктивной математики и теории вычислимости tradução automática
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 tradução automática