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