Date: Mar 24, 2013 4:07 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
WM <> wrote:

> This holds because induction holds for all finite lines, which in
> ordinary logic of set theory is the same as every finite line
> including all its predecessors.

WM is not competent to speak for the ordinary logic of set theory, or of
ordinary logic at all, because WM lives in a world where ordinary logic
does not hold.