Date: Feb 22, 2013 6:03 PM
Author: William Hughes
Subject: Re: Matheology § 222 Back to the roots


Does

For every natural number n, P(n)
is true.

imply

There is no natural number m such
that P(m) is false.