Original'nye principy mnozhestw i bol'shie kardinaly

V dannoj knige issleduetsq deduktiwnaq sila izwestnogo teoretiko-mnozhestwennogo principa reflexii ili otrazheniq. Pokazywaetsq, chto wwedenie ätogo principa w sisteme mnozhestw i klassow pozwolqet wywodit' ochen' sil'nye utwerzhdeniq, swqzannye s bol'shimi kardinalami. Pri ätom prihoditsq wmesto axiomy «kazhdoe mnozhestwo est' klass», wwodit' special'nyj "princip intensional'nosti". Togda, problema neprotiworechiwost' rassmatriwaemyh principow swoditsq k neprotiworechiwosti klassicheskoj teorii ZF , rasshirennoj tak nazywaemoj "axiomoj soglasowannogo wybora" . Jeta axioma dostatochno prosto formuliruütsq priwychnymi terminami w qzyke ZF . Awtor nameren priderzhiwat'sq chisto sintaxicheskogo podhoda, no w celqh oblegcheniq chitaemosti texta inogda goworitsq ob uniwersumah, modelqh, i upotreblqütsq wyrazheniq wida «wypolnqetsq», «werno», «imeet mesto» w duhe neformal'nogo izlozheniq.