On May 2, 3:31 pm,
Zaljo...@gmail.com wrote:
Definition:
R is z-total on x <-> AmexAnex(~m=n -> (mRn or nRm))
Definition:
y is R_bi-ended <-> EmeyEney(~Ec(cey cRm) ~Ec(cey nRc)).
Definition:
x is z-finite <-> ERAy(y is a non-empty subset of x -
(y is R_bi-ended & R is z-total on y))
The standard definition of finite is:
x is finite <-> En(n is a natural number & n equinumerous to x)
Now the question is: is the following true in Z ?
x is z-finite <-> x is finite.
Obviously, one direction is obvious.
