Hulkade moodustamise põhimõte, mis võtab arvesse seda, kas kindla predikaadiga elementide arv on tühi

Hulkade moodustamise põhimõte, mis võtab arvesse seda, kas kindla predikaadiga elementide arv on tühi 

Karmo Talts

Sõnastame järgmise hulkade moodustamise põhimõtte: kui elementide predikaadiga P hulk pole tühi, siis saab moodustada elementidest predikaadiga P hulga, milles on elemente.
Vaatame nüüd hulkasid, mis ei kuulu endasse. Kui nende hulk pole tühi, siis saab neist moodustada hulga, millel on elemente. Kui neist saab moodustada hulga, millel on elemente, siis see hulk kuulub endasse siis, kui ta endasse ei kuulu ja ei kuulu endasse siis, kui ta endasse kuulub. See on vasturääkivus. Seega on selliste hulkade hulk tühi.