Date: Jan 29, 2013 12:36 PM
Author: Scott Berg
Subject: Re: Matheology � 203


"WM" <mueckenh@rz.fh-augsburg.de> wrote in message
news:f5702bc4-f905-4e60-94c5-a503f3d9d887@n2g2000yqg.googlegroups.com...
> "All" and "every" in impredicative statements about infinite sets.
>
> Consider the following statements:
>
> A) For every natural number n, P(n) is true.
> B) There does not exist a natural number n such that P(n) is false.
> C) For all natural numbers P is true.
>
> A implies B but A does not imply C.



P(n) notation means the function P with variable n

P{n,...} notation typically means set P with elements n,...

P notation usually is a constant, sometimes a variable, not a set unless
you call it "set P"


so please clean up your notation of above,

(also pick up a good book on sets and read{it} )

the set read has at least one element, it.

Bonus question;
is the null set a member of the set read ?