A Theory of Sets
We define set theory as an extension of predicate calculus. A set is simply a collection of distinct (different) elements. Examples of sets are the set of integers, the set of brown cows, and the set of computer science departments. A cornerstone of mathematics, the set is also an essential ingredient of computer science and finds application in areas such as artificial intelligence, databases, and programming languages. The study of sets leads to questions about the existence of many kinds of infinities. Thus, while appearing simple, set theory is a rich intellectual playground.
KeywordsVenn Diagram Boolean Expression Major League Baseball Conscientious Objector Axiom Extensionality
Unable to display preview. Download preview PDF.