Ettevaatlik vaade objektidele predikaadiga P ja hulkade moodustamisele
Karmo Talts
Sõnastame ettevaatliku vaate hulkade ja mingi konkreetse predikaadiga objektide suhetele: kui leidub vähemalt üks element predikaadiga P, siis on võimalik moodustada hulk, milles on vähemalt üks element predikaadiga P.
Vaatame nüüd hulkade moodustamist rohkem kui ühest elemendist predikaadiga P. Kui me oleme moodustanud hulga, milles on vähemalt üks element predikaadiga P, siis saab moodustada hulkasid selle hulga liikmetest ja elementidest predikaadiga P, mis ei kuulu sellesse hulka.
Vaatame nüüd, millal me oleme loonud hulga kõigist elementidest predikaadiga P. Kui me oleme loonud hulga, milles on vähemalt üks element predikaadiga P ja ei leidu ühtegi elementi predikaadiga P, mis ei kuulu sellesse hulka, siis me oleme loonud kõigi elementide predikaadiga P hulga.
Sõnastame nüüd teise hulkade moodustamise põhimõtte: kui elementidest predikaadiga P on võimalik luua hulk, kuhu kuulub vähemalt üks element predikaadiga P ja ei leidu elementi predikaadiga P, mis ei kuulu sellesse hulka, siis on võimalik luua hulk kõigist elementidest predikaadiga P.
No comments:
Post a Comment