Virgil
Posts:
9,012
Registered:
1/6/11


Re: Matheology � 203
Posted:
Feb 5, 2013 4:58 PM


In article <2dbaef55e7e747fb8bc4dae71b8fe5bd@e11g2000vbv.googlegroups.com>, WM <mueckenh@rz.fhaugsburg.de> wrote:
> On 4 Feb., 23:29, Virgil <vir...@ligriv.com> wrote: > > > > The notion of every finite initial segment is predicative because we > > > need nothing but a number of 1's, that are counted by a number already > > > defined, and add another 1. > > > > Where did you get the first 1? > > Where did you get it?
I got mine from ZF and other similar set theories, for example the von Neumann naturals follow from the ZF axioms, but, as you reject those theories, those sources are not available to you.
So where do you get your first natural? 

