Abstract
The language of our theory consists of:
-
Free variables: a0, a1,...,
-
Bound variables: x0, x1,...,
-
A predicate symbol: ∈,
-
Logical symbols: ¬, ∧, ∨, →, ↔, ∀, ∃,
-
And auxiliary symbols: ( , ), [ , ].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag New York Inc.
About this chapter
Cite this chapter
Takeuti, G., Zaring, W.M. (1982). Language and Logic. In: Introduction to Axiomatic Set Theory. Graduate Texts in Mathematics, vol 1. Springer, New York, NY. https://doi.org/10.1007/978-1-4613-8168-6_2
Download citation
DOI: https://doi.org/10.1007/978-1-4613-8168-6_2
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4613-8170-9
Online ISBN: 978-1-4613-8168-6
eBook Packages: Springer Book Archive