Re: How many different unit fractions are lessorequal than all unit fractions? (infinitary)

On 10/20/2024 3:48 AM, WM wrote:

On 20.10.2024 00:54, Jim Burns wrote:

On 10/19/2024 2:19 PM, WM wrote:

A doubled finite is finite.

>
If all finites are doubled,
then not all results can be in that set.

If all finites are doubled,
then all results are in the set of finites.
We know this by
making claims true of a finite,
making claims true of doubling a finite,
appending only not.first.false claims which
  conclude with the claim that
  the doubled finite is finite.
We know that the concluding claim is true
because
we see before us a finite sequence of claims which
we see is without any first false claim.
and
a finite sequence of claims
without any first false claim  is
a finite sequence of claims
without any ▒▒▒▒▒ false claim,
including the concluding.