Hulkade moodustamine ja selle, et elemendil on predikaat P, tõestatavus
Karmo Talts
Sõnastame järgmise hulkade moodustamise põhimõtte: iga predikaadi P puhul saab moodustada hulga nendest elementidest, mille puhul saab tõestada, et neil on predikaat P.
Vaatame nüüd kõigi hulkade, mille puhul saab tõestada, et need hulgad ei kuulu endasse, hulka. Eeldusel, et selle hulga puhul ei saa tõestada, et see kuulub endasse, paradoksi ei teki.
No comments:
Post a Comment