In article <684375d7-c890-4fa6-8f14-8fd8474d7777@googlegroups.com>, mueckenh@rz.fh-augsburg.de wrote:
> > There is no > > list of the potentially infinite 0/1 sequences, thus > > there is no list of finite formulas.
There are all sorts of lists of finite formulae. Every such fornula constiturtes a list of length 1 and there are also such lists of length 2 and length 3 and so on.
If the set of finite formulae is to be considered cuntable, there must be a list of members of that set too.
> In potential infinity
Which does not exist outside of WMytheology sion was reached without recourse to "actual infinity".
> > If there is a contradiction it is a contradiction with > > "potential infinity".
> What kind of contradiction are you alluding to? Potential infinity is > unfinished infinity.
An "unfinished" infinity is too unfinished to have any mathematical reality. --
