[czytaj: fors-ing] metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości; forcing

metoda dowodzenia niesprzeczności i niezależności zdań teorii mnogości; forcing