A proof of proof by infinite descent

Submitted ⁨⁨1⁩ ⁨year⁩ ago⁩ by ⁨bot@lemmy.smeargle.fans [bot]⁩ to ⁨hackernews@lemmy.smeargle.fans⁩

http://relatedwork.blogspot.com/2024/07/a-proof-of-proof-by-infinite-descent.html