Cantor’s Algebra of Sets :

Understanding the Class Construction

Axiom

By: Kindica, Jhastin A.

Oct. 02, 2023
Introduction

Cantor’s Algebra of Sets, also known as set theory, is a foundational branch of

mathematics developed by the German mathematician George Cantor in the late 19th
century. It deals with the study of sets, which are collections of objects or elements, and
provides a framework for understanding their properties and relationships.
The following are overview of Cantor’s Algebra of Sets:
1. Set Definition
2. Basic Operations
3. Complement
4. Set Differences
5. Cartesian Product
6. Inclusion and Subsets
7. Cardinality
8. Axiomatic Set Theory
9. Applications
Personal background of
George cantor
Who is George Cantor?

George Ferdinand Ludwig Philipp Cantor, known as George Cantor, was a

prominent German mathematician who is best known for his groundbreaking work in
the field of set theory and the development of the concept of transfinite numbers.
He was born on March 3, 1845, in Saint Petersburg, Russia, into a family of
Danish and Russian descent, and passed away on January 6, 1918. His father, Georg
Waldemar Cantor, was a successful merchant, and his mother, Maria Anna Bohm, was a
talented musician. He came from a well-off and cultured family.
Cantor held academic positions at various universities, including Halle,
Wurzburg, and Halle again, during his career. His groundbreaking work on set theory
and transfinite numbers emerged during his time at Halle. He completed his Ph.D. in
mathematics in 1867 at University of Berlin. His dissertation was on n umber theory,
particularly on the properties of algebraic numbers.
 Cantor is regarded as the founder of Set Theory, which is the branch of
mathematics that deals with sets, or collections of objects. He introduced the concept
of different sizes of infinity, particularly the notion of countable and uncountable sets.
He’s most significant contributions to mathematics include Cantor’s Theorem,
Transfinite Numbers, and Cantor’s Diagonal Argument. Cantor’s work had a significant
impact on the foundations of mathematics and led to the development of modern set
theory.
Class Construction Axiom
Class Construction Axiom

Class Construction Axiom or Axiom of Separation is a concept in set theory, which

is a branch of mathematical logic. It is one of the axioms used to define how sets can be
constructed and is a fundamental principle that allows the creation of subsets based on
specific properties.

It essentially states that for any set A and any property P(x), there exist a set B such
that for every element x, x is an element of A and P(x) is true.

In simpler terms, it allows us to form a new set B by selecting elements from an

existing set A based on a specific property P(x). If an element in A satisfies the property
P(x), it becomes an element of the new set (B).
Illustration

Imagine you have an existing set A that contains the numbers from 1 to 10:

A = {1,2,3,4,5,6,7,8,9,10}

Now let’s say we want to create a new set B using the Class Construction Axiom. We
want B to contain only the even numbers from set A. The property P(x) in this case is “x
is an even number”.

Using the Class Construction Axiom we can define set B as follows:

B = {x ∈ A l x is even}
Here’s how it works:
1. We consider each element x in set A.
2. For each x, we check if x satisfies the property “x is even”. If it does, we include it in
set B.
3. After applying this process to all elements of A, we obtain set B as follows:

B = {x ∈ A l x is even} or
B = {2,4,6,8,10}

So using, the Class Construction Axiom, we have constructed a new set B that contains
only the even numbers from the original set A. This clearly illustrates how the axiom
allows us to form subsets based on specific properties.
THANK YOU.