Abstract
The basic content of this section is Lemma 1.4 and Definitions 1.5 and 1.6. The lemma guarantees that the terms and formulas of any language in L1 can be deciphered in a unique way, and it serves as a basis for most inductive arguments. (The reader may take the lemma on faith for the time being, provided that he was able independently to verify the last formula in 3.7 of Chapter I. However, the proof of the lemma will be needed in ยง4 of Chapter VII.) It is important to remember that the theory of any formal language begins by checking that the syntactic rules are free of ambiguity.
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
ยฉ 1977 Springer Science+Business Media New York
About this chapter
Cite this chapter
Manin, Y.I. (1977). Truth and deducibility. In: A Course in Mathematical Logic. Graduate Texts in Mathematics, vol 53. Springer, New York, NY. https://doi.org/10.1007/978-1-4757-4385-2_2
Download citation
DOI: https://doi.org/10.1007/978-1-4757-4385-2_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4757-4387-6
Online ISBN: 978-1-4757-4385-2
eBook Packages: Springer Book Archive