3 ms·
What do you mean? Proof by contradiction with well-foundedness is exactly what "infinite descent" means.
by lupire 2y ago
What do you mean? Proof by contradiction with well-foundedness is exactly what "infinite descent" means.
- IsTom 2y agoI guess I got a little confused, because a different form with some de-morganing and contraposed implications feels more natural to me in plain-language proofs.