Abstract
The possibility of enriching the logical calculus with the equality symbol is not a trifling matter. This symbol is found everywhere in mathematics, and makes sense in every Tarskian model. This is not the case for the other mathematical relations. For example, the relation “is bigger than” makes no sense for lines, the relation “belongs to” makes no sense for natural numbers, etc.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
i.e., independent of the choice of the representantive x in the class 〈x〉.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Italia
About this chapter
Cite this chapter
Mundici, D. (2012). Equality Axioms. In: Logic: A Brief Course. UNITEXT(). Springer, Milano. https://doi.org/10.1007/978-88-470-2361-1_15
Download citation
DOI: https://doi.org/10.1007/978-88-470-2361-1_15
Publisher Name: Springer, Milano
Print ISBN: 978-88-470-2360-4
Online ISBN: 978-88-470-2361-1
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)