DDiscnte Mi led

Ma(ta An honi Sidu

200 21 le
 We Kno
that for A and B. the
relations would be defined

Wel

assume is a set
implies there at which
was built, Containing (A,B) So mat Ac B

could have
eleme ments anol that

All such subsels would of all Sets

because lare amen have, no field

and cans relate, to all sets

we therefore resultin Universe proper class,

This an Dussels Paraclox .

contradich on, assoming k o set results lo

or per class.

When no Are

is o
Dues hien

That
Propu
cRoss Lets Pove that B also
clas.

Wer can do this

proger ass

the element

element of B Furthe
a set Then collechon of elements thott lis ou Subset
B must also be set. This Wouldl

But proper class.

B connot be. that would bu

imply that also has
be proper class [non-ser)

B class
the,
 Wel

class,

First lets

Principle o seks and arom

elements of in sleges
If lack of

equality relahod, would in volue

even stage, construin o

By Princiek equally relations always bulols

upon objects
across all ato os ser

Construction. implied there, is an

Bu the Principles of set construchon. we see,

the equality was & 50, 11 would have to formed

atl a specific stage
would imply
that it would also be, of
an objec Subset),
subset th m requirements
equality relation gl ON all object of
would could forr a single cass
tha Includes errem mina in set This Class
also Know as the which is

use
Principles of set

be set

proper class lie This

Paradorical and contradictor
 Janelparab y
contr ol chonhe
equstte be lahenu Connor b ,
e ( acipsof so (on3hu
apP 'ow
t Sinc
u (d Mesu+ n il
in
D
dine ro eel s

Also
oFe he
e e ua deheoremmcnolcen
ba
ahb
n o
et
nec me

b
re iroeant
.

of
eaialicela p E) E ea ho ncE oe
e
o e as5.
Oueshon pro re Ineot Ata.Au)E
0.
d Xe ths
Xlehs C b
A
p o e
(2) xe ths bs

e A AuB)

B intersechon dehaitio ,a

X A A R

Sinr XE A provedHhat X e s eRhs

e.XeAo AuB). e 4

prorioo X hs Xe Ih

etxE A
B union dekniHon LA ) N X eß
wnlch a XeAuB

tnismkans_rat lavk X 41 e uß.

whicl by dehnhon ntersec or is e4A(tu B)
thente fore eA Xe A Au B)

y0 andl ) u covieelA
Or uß)E
 prove that

Prove and

must Shoud mat to R

im plies X alone
intersection, XA AxeB which

we proved

prove

we have shown thot

By and