On Feb 23, 12:03 am, William Hughes <wpihug...@gmail.com> wrote: > Does > > For every natural number n, P(n) > is true. > > imply > > There is no natural number m such > that P(m) is false.
Does
There is a line, l, of L such that l has property P
imply
There exists a natural number m such that the mth line of L has property P.