In article <firstname.lastname@example.org>, "LudovicoVan" <email@example.com> wrote:
> >> Sure, N is the minimal set with 0 and closed under the successor > >> operation. > >> > >> But that remains a characterization of a *potential infinity*. > >> > > In ZFC that particular set is actual. > > Yet you have shown no ground to call it actual, in fact the opposite.
It is well known by anyone who knows anything about ZFC that in ZFC there is an inductive set, and since in ZFC there is nothing else but actual sets, that set is actual, not merely potential.