prov·able [ˈpru:vəbl̩] ПРИЛ.
provable theory:
- provable
-
PONS OpenDict
Вы хотите добавить слова, фразы или переводы?
Пожалуйста, отправьте нам новый словарный запись для PONS OpenDict. Внесенные предложения проверяются редакцией PONS и соответствующим образом включаются в результаты.
Примеры предложений недоступны
Попробуй ввести другую запись.
Одноязычные примеры (не проверены редакцией PONS)
The theory can be taken to include just those axioms, or their logical or provable consequences, as desired.
en.wikipedia.org Others still have turned to relevance logic to supply a connection between the antecedent and consequent of provable conditionals.
en.wikipedia.org Her current research interests include information theoretic security, provable security, network security, digital and privacy rights management, and multimedia security.
en.wikipedia.org This approach requires more propositional axioms and each equivalence between logical forms must be either an axiom or provable as a theorem.
en.wikipedia.org Then the -conjecture implies that if there are arbitrarily large models containing a large cardinal, this fact will be provable in -logic.
en.wikipedia.org