PSE Lectures - Ep 1 - Introduction to the course and Naive Set Theory

In this chapter, Matan introduces the course and explains the entire journey we will do.
From set, group & field theory up to the pairing. A quite complete & formally demonstrated overview of ECC.

It also gives an introduction to Naive Set Theory

[becbelk]

min 0:50..1:20, ...So axiomatically it is difficult to proove that 1+1=2, may be I neded 5 pages, ...need automorphism between f set and domain and the range

[MrCoreyTexas]

I never saw how you can construct the natural numbers from sets, I remember Vitalik Buterin hinted at it in a talk he gave, now I see the actual way it's done.

[LisaAkselrod]

Do I understand correct that identity is a map where each element of the set maps only to itself?