İyi Temellendirilmemiş Kümeler

Özet

20. yüzyılın ortalarında Zermelo ve Fraenkel, matematiği tutarlı bir temele oturtmak amacıyla ZFC aksiyomatik sistemini ortaya atmışlardır. Aksiyomların ifade ettikleri kavramlar ilk bakışta basit görünse de, birçok matematikçi bu aksiyomlar üzerine derinlemesine düşünmüş ve bunları tartışmıştır. ZFC üzerine farklı amaçlara yönelik yeni aksiyom sistemleri önerilmiş, kümeler kuramının sınırları bu tartışmalar aracılığıyla genişlemiştir. Bu tartışmaların merkezinde, ZFC’nin bir aksiyomu olan Temellendirme Aksiyomu da yer almaktadır. Temellendirme Aksiyomu, en yalın ifadeyle, bir kümenin kendi içinde sonsuz bir elemanlık döngüsü oluşturmasını engelleyerek kümelerin "iyi temellendirilmiş" olmasını sağlar. Bu makalede, Temellendirme Aksiyomu’nun reddedilmesiyle ortaya çıkan iyi temellendirilmemiş kümeler üzerine bazı temel okumalar sunulmakta, bu kümelerin sahip olduğu ilginç özellikler tartışılmakta ve klasik küme kuramının ötesine geçen yaklaşımlara dair örnekler verilmektedir.