Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Set Theory

Library Home || Full Table of Contents || Suggest a Link || Library Help

Visit this site: http://www.math.niu.edu/~rusin/known-math/index/03EXX.html

Author:Dave Rusin; The Mathematical Atlas
Description: A short article designed to provide an introduction to set theory. Naive set theory considers elementary properties of the union and intersection operators - Venn diagrams, the DeMorgan laws, elementary counting techniques such as the inclusion-exclusion principle, partially ordered sets, and so on. This is perhaps as much of set theory as the typical mathematician uses. Indeed, one may "construct" the natural numbers, real numbers, and so on in this framework. However, situations such as Russell's paradox show that some care must be taken to define what, precisely, is a set. Axiomatic Set Theory studies the axioms used to describe sets. While alternatives have been proposed (for example the von Neumann-Bernays-Godel and Morse-Kelley formulations), most sets of axioms for Set Theory include the Zermelo-Frankl axioms (ZF). Again, within this formulation one may define the natural numbers, the real numbers, and so on, and thus in principle carry out most ordinary mathematics. This formulation is rich enough to prove, for example, the Schoeder-Bernstein theorem (If X and Y are isomorphic to subsets of each other, then they are isomorphic). History; applications and related fields and subfields; textbooks, reference works, and tutorials; software and tables; other web sites with this focus.

Levels: College
Languages: English
Resource Types: Articles
Math Topics: Axiomatic Systems, Set Theory

[Privacy Policy] [Terms of Use]

Home || The Math Library || Quick Reference || Search || Help

© 1994- Drexel University. All rights reserved.
The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.