Hulkade moodustamine elementidest, millel on ühekohaline predikaat, ja Russelli paradoks

Hulkade moodustamine elementidest, millel on ühekohaline predikaat, ja Russelli paradoks

Karmo Talts

 

Sõnastame järgmise hulkade moodustamide põhimõtte: iga ühekohalise predikaadi P puhul saab moodustada hulga neist elementidest, millel on see predikaat.

Vaatame nüüd iseendasse mitte kuulumist. See on kahekohaline predikaat, kus hulk x, mis ei kuulu y-isse, on y-iga identne. Seega ei saa hulkadest, mis ei kuulu iseendasse, moodustada hulka.