Watch my videos Ad-free & free: Odysee: @MiroslavOlsak:9?view=lists Vimeo: Download: The formal proof of "If a nonempty set doesn't have a first element, it contains an infinite decreasing sequence." Download: