Scribd
Upload
25 views

Set Application

This document discusses how set theory can be used as a foundation for mathematics. Many mathematical concepts can be defined using sets, including graphs, manifolds, rings and vector spaces. Set theory can also describe relations and provide a framework for deriving properties of systems like the natural and real numbers. While set theory provides a promising foundation, full formal derivations of theorems from set theory are often longer than typical proofs, so few have been fully verified.

Uploaded by

rshegde
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
25 views

Set Application

This document discusses how set theory can be used as a foundation for mathematics. Many mathematical concepts can be defined using sets, including graphs, manifolds, rings and vector spaces. Set theory can also describe relations and provide a framework for deriving properties of systems like the natural and real numbers. While set theory provides a promising foundation, full formal derivations of theorems from set theory are often longer than typical proofs, so few have been fully verified.

Uploaded by

rshegde
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

Many mathematical concepts can be defined precisely using only set theoretic concepts.

For
example, mathematical structures as diverse as graphs, manifolds, rings, and vector spaces can
all be defined as sets satisfying various (axiomatic) properties. Equivalence and order relations
are ubiquitous in mathematics, and the theory of mathematical relations can be described in set
theory.

Set theory is also a promising foundational system for much of mathematics. Since the
publication of the first volume of Principia Mathematica, it has been claimed that most or even
all mathematical theorems can be derived using an aptly designed set of axioms for set theory,
augmented with many definitions, using first or second order logic. For example, properties of
the natural and real numbers can be derived within set theory, as each number system can be
identified with a set of equivalence classes under a suitable equivalence relation whose field is
some infinite set.

Set theory as a foundation for mathematical analysis, topology, abstract algebra, and discrete
mathematics is likewise uncontroversial; mathematicians accept that (in principle) theorems in
these areas can be derived from the relevant definitions and the axioms of set theory. Few full
derivations of complex mathematical theorems from set theory have been formally verified,
however, because such formal derivations are often much longer than the natural language proofs
mathematicians commonly present. One verification project, Metamath, includes human-written,
computerverified derivations of more than 12,000 theorems starting from ZFC set theory, first
order logic and propositional logic.

You might also like