მიარეეფიშ თეორია

მიარეეფიშ თეორია — მათემატიკური ლოგიკაშ ნორთი, ნამუთ გურაფულენს მიარეეფს. თეხანური მიარეეფიშ თეორიაშ დუმარსხუაფალეფი რენა გერმანალი მათემატიკოსეფი რიხარდ დედეკინდი დო გეორგ კანტორი. ვაფორმალური სისტემეფი, ნამუეფით მიარეეფიშ თეორიაშახ არსებენდჷ, შინელი რე მუჭოთ "ბიდინა მიარეეფიშ თეორია". მუჟამსჷთ მენცარეფქ ქიმიოგორეს შხვადოშხვა პარადოქსეფს (რასელიშ პარადოქსი, კანტორიშ პარადოქსი, ბურალი-ფორტიშ პარადოქსი), წჷმორინაფილქ იჸუ შხვადოშხვანერ აქსიომატურ სისტემეფქ მაეჩა ოშწანურაშ დაჭყაფუშე. ჸათენეფიშე არძაშე უმოს ჯგირო რკვიებული და შანულამი რე ცერმელო-ფრენკელიშ სისტემა.

მიარეეფიშ თეორიას ფშხირას მიშინუანა მუჭოთ მათემატიკაშ ართ-ართ ფუნდამენტურ თეორიას. თის კაბეტი შანულობა უღჷ მათემატიკური დისციპლინეფიშო ალგებრაშო, მათემატიკური ანალიზიშო, ტოპოგრაფიაშო დო ალბათობაშ თეორიაშო. თაშნეშე, მიარეეფიშ თეორია დიდ როლს ლაჸაფენს ინფორმატიკას, ფილოსოფიას დო ფორმალურ სემანტიკას.

რესურსეფი ინტერნეტის
 Daniel Cunningham, Set Theory article in the Internet Encyclopedia of Philosophy.
 Jose Ferreiros, "The Early Development of Set Theory" article in the Stanford Encyclopedia of Philosophy.
 Matthew Foreman, Akihiro Kanamori, eds. Handbook of Set Theory. 3 vols., 2010. Each chapter surveys some aspect of contemporary research in set theory.

კატეგორია:მიარეეფიშ თეორია