Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Mathematical interpretation of formal systems
Авторы: Skolem T., Hasenjaeger G., Kreisel G.
More than 30 years ago I proved by use of a theorem of Lowen-heim that a theory based on axioms formulated in the lower predicate calculus could always be satisfied in a denumerable infinite domain of objects. Later one has often expressed this by saying that a denumerable model exists for such a theory. Of particular interest was of course the application of this theorem to axiomatic set theory, showing that also for this an arithmetical model can be found...