Titlebook: Mathematical Logic; H.-D. Ebbinghaus,J. Flum,W. Thomas Textbook 19942nd edition Springer Science+Business Media New York 1994 Arithmetic.E

信徒

Syntax of First-Order LanguagesIn this chapter we introduce the first-order languages. They obey simple, clear formation rules. In later chapters we shall discuss whether, and to what extent, all mathematical propositions can be formalized in such languages.

骚动

任命

Ossification

积习难改

Lindström’s TheoremsIn this final chapter we present some results, due to Lindström [25], which we have already mentioned several times. They show that first-order logic occupies a unique place among logical systems. Indeed, we shall prove:

critique

清楚说话

绝缘

本土

https://doi.org/10.1007/978-1-4757-2355-7Arithmetic; Equivalence; Logic; Mathematische Logik; compactness theorem; mathematical logic; model theory

抚慰