Re: Definition of finite.

zuhair wrote:

[snipped]

On the off-hand chance that anyone getting to this thread
is interested in seriously pursuing various notions of
"finite", a very complete survey (but dated) is:

Alfred Tarski, "Sur les ensembles finis", Fundamenta
Mathematicae 6 (1924), 45-95.
http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=6
http://matwbn.icm.edu.pl/ksiazki/fm/fm6/fm619.pdf

Tarski introduces many notions of "finite" (over 20,
I think) and studies the logical relationships between
them.

Dave L. Renfro

.