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

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