Zermelo–Fraenkeli hulgateooria alamhulkade moodustamise põhimõte ja ainult predikaatidele rakenduvate predikaatide defineermine
Karmo Talts
Kohandame ZF hulgateooria alamhulkade moodustamise põhimõtte predikaatide hulkadele. Olemasoleva hulga, mille kõik elemendid on predikaadid, elementidest saab moodustada alamhulki selle järgi, millised predikaadid neil elementidel on.
Vaatame nüüd millised piirid see seab uute predikaatide, mis rakenduvad ainult teistele predikaatidele, defineerimisele. Predikaat, mis rakendub ainult predikaatidele, peab olema defineeritud juba olemasolevate predikaatide hulkade elementide sorteerimise eesmärgil.
Vaatame nüüd predikaatide kasutusele võtmise viise. Predikaate tohib kasutusele võtta mitte-predikaatide iseloomustamiseks, nende predikaatide sorteerimise eesmärgil, predikaatide, mida kasutatakse predikaatide, mis iseloomustavad mitte-predikaate, sorteerimiseks, sorteerimise eesmärgil jne.
Kommentaare ei ole:
Postita kommentaar