Hipoteza kontinuum - omówienie
- Uniwersytet Warszawski
- Logika
Hipoteza kontinuum CH: ℵ1 = c Twierdzenie (Gödel) (1940 - ta sama praca): ZFC + CH jest niesprzeczne Twierdzenie (Cohen, 1963): ZFC + ~ CH jest niesprzeczne Zatem CH jest zdaniem niezależnym od teorii mnogości. c może być dowolnie duże w hierarchii. Każdy nieskończony zbiór liczb rzeczywistych...