Logic

No doubt the most important technical tool in contemporary logic is the predicate calculus. We used it even to discuss set theory. Conversely, set theory will now be used as a tool for studying the predicate calculus.