Kollektsioonid ja predikaadid

Kollektsioonid ja predikaadid 

Karmo Talts

 

Sõnastame järgmise kollektsioonide moodustamise põhimõte: kõigist elementidest, mis pole kollektsioonid, saab moodustada kollektsiooni.
Vaatame nüüd, mida see tähendab predikaatide jaoks. Iga predikaadi P puhul, mida pole ühelgi kollektsioonil, saab moodustada kollektsiooni elementidest predikaadiga P.
Sõnastame nüüd kollektsioonidest kollektsioonide moodustamise põhimõtte: iga predikaadi P puhul, mis on kollektsioonidel, mida on võimalik moodustada, saab moodustada kollektsiooni  elementidest predikaadiga P.
Vaatame nüüd kollektsioonidest kollektsioonide moodustamist praktikas. Kui me oleme moodustanud kollektsiooni elementidest predikaadiga P, mida pole ühelgi kollektsioonil, siis on võimalik seda kollektsiooni moodustada. Sellel kollektsioonil on predikaat "on moodustatud elementidest predikaadiga P". Seega on võimalik moodustada kollektsioon kollektsioonidest, mis on moodustatud elementidest predikaadiga P Seda kollektsiooni on võimalik moodustada. Seega on võimalik moodustada ka kollektsiooni kollektsioonidest, mis on moodustatud kollektsioonidest, mis on moodustatud elementidest predikaadiga P. Jne.