Am Anfang war das BlaBla

Das ccc Axiom, das zum Zermelo Fraenkel Sytem noch ein unabhängiges Axion hinzufügt ist mit Sicherheit ein wichtiges Axiom. Es geht darum, dass jede Familie paarweise disjunkter offener Mengen wiederum eine abzählbare Überdeckung besitzt. Welche Implikationen daraufhin aus der Kategorientheorie für die Kombinatoren zu folgern sind ? Schließlich ist die Theorie der Topen und damit der Aussagenlogik und Mengenlehre darin konstruierbar. Jedenfalls sieht man hier Gödels Vermutung impliziet dann wieder bestätigt , falls man das in die Konstruktion der jeweiligen Kategorien mit einbezieht..