|
|
Ross A. Finlayson schrieb:
> Remove all the (non-logical) axioms from any theory and then it is the
> null axiom theory. If you're interested in a theory that is designed
> with the goals of being consistent and complete, I've written some
> thousands of pages about it to sci.math.
>
I am interested here only to show that the list of all lists is
countable and has countably many entries. Any list is an entity which
requires a finite amount of space dV, be it in the head which thinks of
this list or the paper representing it. If the available space V is
finite, there is only a finite number of lists V/dV. But if space is
infinite, then its infinite diameter can be subdivided in not more than
aleph_0 finite intervals. We know in set theory that aleph_0 * aleph_0
* aleph*0 = aleph_0. Therefore we can think of aleph_0 lists with
aleph_0 * aleph_0 = aleph_0 entries in the whole space - and not more.
Regards, WM
|
|