|
|
Re: Matheology � 203
Posted:
Jan 29, 2013 12:36 PM
|
|
"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 ?
|
|
