Date: Mar 22, 2013 7:13 PM
Author: fom
Subject: Re: Matheology § 224

On 3/22/2013 5:11 PM, William Hughes wrote:
> On Mar 22, 10:49 pm, WM <mueck...@rz.fh-augsburg.de> wrote:
>
> <snip>
>

>> All sets are finite, but not fixed.
>
> I did not claim that all sets in
> Potential infinity are fixed.
> They are finite and thus not
> different from finite sets.
>
> WH: Infinite sets are different from finite sets
> WH: but they do not contain anything
> WH: "beyond any finite set".
>
> WM: Of course.
>

>> There is no upper threshold,
>> contrary to every finite set.

>
> More Wolkenmuekenheim logic
>
> Every finite set has an upper threshold.
>
> A potentially infinite set
> does not have an upper threshold
>
> A potentially infinite set is finite.
>


And, when properly developed in a constructive
framework, the objects to which that statement
might apply are clearly understood as such.