Richard Dedekind – Substitutions (1879).

Richard Dedekind releases a text on

Richard Dedekind George Cantor
 In 1856, He began a series of
 In contrast to much of
lectures on Group Theory --
Dedekind's work involving
using the word "domain" to refer
discrete sets, Cantor
to sets and groups. Dedekind will
begins lecturing and
spend the next several decades
researching on continuous
abstracting algebra, and will
sets.
develop a "set theory" as a
framework for his research.
Cantor and Dedekind
(1872).Georg Cantor and
Richard Dedekind meet for the
first time and initiate an on-
again off-again correspondence.
They would collaborate several
times over the following decades
Cantor -- R is
uncountable (1873).
Cantor first establishes that
the set of Real Numbers is not
countable. Later, algebraic
numbers are countable and
transcendental numbers are
not countable.
"substitutions." Dedekind publishes a
book on the subject of substitutions, by
which he means a proccess which
transforms "elements a, b, c, ..." of one
"domain" into elements "a', b', c', ..." of
another "domain." Dedekind goes on on
Cantor – Cardinality the define an "equivalence" of these
domains that is realized when the
(1874).
Cantor defines cardinality as
the size of a given set. Cantor
transformation preserves the original
domain's size and structure.
further declares the
cardinality of N is aleph-
naught and that the
cardinality of all infinite sets
is not equal. (The cardinality
of all countably infinite sets is
also aleph-null.) 
Aleph-numbers

John Venn -- Venn

Cantor -- Proof that R is Diagrams(1880).
Cantor - Cantor's Paradox (1899). uncountable (1891). Venn Diagrams A visualization of the contents
Georg Cantor discovers Cantor's paradox, a
first indication of the inadequacy of the Giuseppe Peano – Cantor publishes his famous, elegant
proof concerning the non-countability of
of sets -- along with their intersecteing and
disjointed subsets. The name Venn Diagram
would come about later; Venn referred to his
axioms of naive set theory.
Notation(1895)
R. creation as Eulerian Circles, as it was based
on Euler Diagrams developed 100 years earlier.
Proper Venn Diagrams differ from Euler
Peano's text "Formulario Mathematico" established much of the standard Diagrams in that all possible intersections are
set theoretical notation common today. Notation included: shown. In Euler Diagrams, disjoint sets are
- intersection and union, depicted as such.
- inclusion,
- element of, and
- differences.
Zermelo in 1908 was the first to
attempt an axiomatisation of set
theory. Many other mathematicians
attempted to axiomatise set theory.
Fraenkel, von Neumann, Bernays
Russell's and Gödel are all important figures in
this development. Gödel showed the

Paradox(1901). limitations of any axiomatic theory

and the aims of many
Burtrand Russell discovers a paradox mathematicians such as Frege and
inherent in Naive Set Theory, "the set Hilbert could never be achieved.“
of all sets that do not contain

HISTORY OF SET THEORY

themselves" establishing a need for
an axiomatic set theory.

MANUEL C. FRANCISCO