Search results
Results from the WOW.Com Content Network
Set theory is the branch of mathematical logic that studies sets, which can be informally described as collections of objects.Although objects of any kind can be collected into a set, set theory – as a branch of mathematics – is mostly concerned with those that are relevant to mathematics as a whole.
Pocket set theory; Positive set theory; S (Boolos 1989) Scott–Potter set theory; Tarski–Grothendieck set theory; Von Neumann–Bernays–Gödel set theory; Zermelo–Fraenkel set theory; Zermelo set theory; Set (mathematics) Set-builder notation; Set-theoretic topology; Simple theorems in the algebra of sets; Subset; Θ (set theory) Tree ...
In mathematical logic, an alternative set theory is any of the alternative mathematical approaches to the concept of set and any alternative to the de facto standard set theory described in axiomatic set theory by the axioms of Zermelo–Fraenkel set theory.
This article lists mathematical properties and laws of sets, involving the set-theoretic operations of union, intersection, and complementation and the relations of set equality and set inclusion. It also provides systematic procedures for evaluating expressions, and performing calculations, involving these operations and relations.
In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of Zermelo–Fraenkel–choice set theory (ZFC). NBG introduces the notion of class , which is a collection of sets defined by a formula whose quantifiers range only over sets.
It is the algebra of the set-theoretic operations of union, intersection and complementation, and the relations of equality and inclusion. For a basic introduction to sets see the article on sets, for a fuller account see naive set theory, and for a full rigorous axiomatic treatment see axiomatic set theory.
The method of forcing is employed in set theory, model theory, and recursion theory, as well as in the study of intuitionistic mathematics. The mathematical field of category theory uses many formal axiomatic methods, and includes the study of categorical logic , but category theory is not ordinarily considered a subfield of mathematical logic.
Advanced Topics in Bisimulation and Coinduction. Cambridge University Press. Scott, Dana Stewart (1974). "Axiomatizing set theory". Axiomatic set theory. Proceedings of Symposia in Pure Mathematics. Vol. 13. Part II, pp. 207–214. Skolem, Thoralf (1923). Axiomatized set theory.