Maybe also need to show that there are no other naturals between 1 and 7? And al... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		kevhito on July 2, 2024 \| parent \| context \| favorite \| on: A proof of proof by infinite descent Maybe also need to show that there are no other naturals between 1 and 7? And also that numbers greater than 7 can't be a divisor of 7?

someplaceguy on July 2, 2024 [–]

The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact