On 12 Mai, 23:03, Virgil <vir...@ligriv.com> wrote:
> > > The process by which you get any line is not independent of the prior > > > lines having at one time been in existence, so all those prior lines > > > once existed > > > But there is no difference for a line whether or not the preceding > > lines continue to exist. > > Once it has come into existence, its continued existence may not be > needed, but if it never had existed, neither could its successors. > > In a sane world the existence of 2 requires a prior existence of 1, and > existence of any natural n + 1 requires a prior existence of n.
So 3 + 4 is 16 because the predecessors of 3 and 4 claim their right?