Re: Definition of finite.

On May 3, 4:01 pm, zuhair <zaljo...@xxxxxxxxx> wrote:
On May 3, 5:57 pm, MoeBlee <jazzm...@xxxxxxxxxxx> wrote:

In Z without the axiom of infinity, the 'R and conv(R)' definition is
equivalent to Tarski's 'subset maximal' definition, which is
equivalent to other definitions, and, in Z, all of these are
equivalent to 'member of w'.

Meanwhile your 'essentially circular' and 'quasi-circular' are your
own self-distractions.

Nup.

Check your keyboard. It seems to have crossed 'N' for 'Y'.

MoeBlee

.