PRZEBIEG ZMIAN, forcing NQTs
[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