Watch my videos Ad-free & free:
Odysee: odysee.com/@Mi...
Vimeo: vimeo.com/user...
Download: olsak.net/mirek...
The formal proof of "If a nonempty set doesn't have a first element, it contains an infinite decreasing sequence."
Download: www.olsak.net/m...
Негізгі бет Formal Recursion, 14 Essence of Set Theory
Пікірлер: 4