Real Numbers as Dedekind's cuts, 12 Essence of Set Theory
Channel: Mirek Olšák
Date: 2021-08-14

Watch my videos Ad-free & free:
Odysee: https://odysee.com/@MiroslavOlsak:9?view=lists
Vimeo: https://vimeo.com/user129589056
Download: http://olsak.net/mirek/manim/my_videos.html

Formal construction of the set of all the real numbers.

Download: http://www.olsak.net/mirek/manim/eost/eost12-dedekind-cuts.mp4