Date: Jan 29, 2013 6:02 AM
Author: William Hughes
Subject: Re: Matheology § 203


To summarize

For every natural number, n, the antidiagonal,d, of a list L
is not equal to the nth line of L

A statement WM has made.


A) For every natural number n, P(n) is true.
implies
B) There does not exist a natural number n such that P(n) is
false.

A statement WM has made.

There does not exist a natural number n such that d is
equal to the nth line of L

A statement WM disputes