Limitation of size

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Brirush (talk | contribs) at 13:27, 25 November 2014. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In the philosophy of mathematics, specifically the philosophical foundations of set theory, limitation of size is a concept developed by Philip Jourdain and/or Georg Cantor to avoid Cantor's paradox. It identifies certain "inconsistent multiplicities", in Cantor's terminology, that cannot be sets because they are "too large". In modern terminology these are called proper classes.

Use

The axiom of limitation of size is an axiom in some versions of von Neumann–Bernays–Gödel set theory or Morse–Kelley set theory. This axiom says that any class which is not "too large" is a set, and a set cannot be "too large". "Too large" is defined as being large enough that the class of all sets can be mapped one-to-one into it.

References

  • Hallett, Michael (1986). Cantorian Set Theory and Limitation of Size. Oxford University Press. ISBN 0-19-853283-0.