| Subsequently, Res Jost gave a more general proof in the framework of axiomatic quantum field theory. | Впоследствии Рес Джост дал более общее доказательство в рамках аксиоматической квантовой теории поля. |
| He has worked on topics of first and second order logic, axiomatic set theory, computability and complexity. | Работал над предметом логики первого и второго порядка, аксиоматической теории множеств, теории вычислимости и сложности. |
| Bogoliubov causality condition is a causality condition for scattering matrix (S-matrix) in axiomatic quantum field theory. | Условие микропричинности Боголюбова - принцип причинности для матрицы рассеяния (S-матрицы) в аксиоматической квантовой теории поля. |
| The Prior Analytics contains his exposition of the "syllogism", where three important principles are applied for the first time in history: the use of variables, a purely formal treatment, and the use of an axiomatic system. | В Первой аналитике содержится его изложение силлогистики и впервые в истории применены три важнейших принципа: применение переменных, чисто формальное рассмотрение и использование аксиоматической системы. |
| However, this definition still can be used in type theory and in Quine's axiomatic set theory New Foundations and related systems (where it affords a rather surprising alternative solution to the Burali-Forti paradox of the largest ordinal). | Тем не менее, данное определение можно использовать в теории типов и аксиоматической теории множеств Куайна (Новые основания), а также других подобных системах (в которых оно позволяет сформулировать альтернативный и довольно неожиданный способ разрешения парадокса Бурали-Форти о наибольшем порядковом числе). |
| In axiomatic quantum theory, S-matrix is considered as a functional of a function g: M -> {\displaystyle g:M\to} defined on the Minkowski space M {\displaystyle M}. | В аксиоматической формулировке квантовой теории поля S-матрица является функционалом «функции области взаимодействия» g: M -> {\displaystyle g:M\to}, определённой на пространстве Минковского M {\displaystyle M}. |
| In practice, most mathematicians either do not work from axiomatic systems, or if they do, do not doubt the consistency of ZFC, generally their preferred axiomatic system. | Большинство математиков или не работают с уровня аксиоматических систем, или, если работают, то не сомневаются в корректности системы ZFC, наиболее популярной аксиоматической системы. |