Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
diagonal_construction [2016/01/11 10:51] nikolaj |
diagonal_construction [2016/01/11 10:52] nikolaj |
||
---|---|---|---|
Line 13: | Line 13: | ||
If, in a similar spirit, $C,f$ are taken to be a sequence and an enumeration of sequences, then we see that there is at least once sequence which escapes enumeration. This further translates to the uncountability of real numbers. | If, in a similar spirit, $C,f$ are taken to be a sequence and an enumeration of sequences, then we see that there is at least once sequence which escapes enumeration. This further translates to the uncountability of real numbers. | ||
- | Notice the occurence of a //negation// of a formula in which $x$ appears //twice// in the comprehension part. This sort of set comprehension, $\{x\mid \neg P(x)\}$, is typical for this sort of business. | + | Notice the occurence of a //negation// of a formula in which $x$ appears //twice// in the comprehension part. This sort of set comprehension is typical for this sort of business. |
== Continuum hypothesis == | == Continuum hypothesis == |