Date: Jan 29, 2013 3:33 AM
Author: mueckenh@rz.fh-augsburg.de
Subject: Matheology § 203

"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.

Examples for A:
1) For every n in N, there is m in N with n < m.
2) For every n in N, the set (1, 2, ..., n) is finite.
3) For every n in N, the construction of the first n nodes of the
Binary Tree adds n paths to the Bibary Tree.
4) For every n in N, the anti-diagonal of a Cantor-list is not in the
lines L_1 to L_n.

Regards, WM