Date: Mar 24, 2013 4:07 PM
Subject: Re: Matheology � 224
WM <email@example.com> 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.