Re: Simple enough for every reader?

On 17.06.2025 12:16, Mikko wrote:

On 2025-06-16 10:50:58 +0000, WM said:
 The error above is that the expression "the last one" is used without
proving that there is a last one.

If all natnumbers are subtracted, none remains.
If all natnumbers are subtracted in their order, one after the other, none remains.
Forgotten to answer:
 > Every natural number and in
 > particular every prime number is definable.
Then define the prime numbers such that none remains undefined. Or define a hitherto undefined prime number.
Regards, WM