<html><body><div style="font-family: arial, helvetica, sans-serif; font-size: 12pt; color: #000000"><div data-marker="__QUOTED_TEXT__"><div style=""><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size:13pt">Pinter'in bilinen klasik Set Theory </span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size:13pt"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size:13pt">(link: h</span><span style="font-size: 17.3333px;">ttps://archive.org/details/charles-c.-pinter-2014-a-book-of-set-theory/page/n38/mode/1up)</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">kitabı, küme teoriyi tanımsız "class" ve "membership" objeler üzerinden inşa ediyor.</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><br data-mce-bogus="1"></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">Birinci bölümün ikinci kısmının girişinde numarasız tanımda "element" ve aynı kısmın definition 1.48'de "set" tanımlanıyor olsa da bunlar birbirleriyle çakışıyor.</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">Set olmayan class da Definition 1.48'de (standart olarak) "proper class" olarak tanımlanmakta.</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">Definition 1.9 iki classın "eşit" olmasını tanımlıyor. (Aksiyom olarak değil!) Bu tanıma göre, herhangi iki proper class, "iff" bağlacıyla verilen tanımın sağ tarafında kalan önerme standart önermesel mantık içerisinde doğru olacağından, eşit oluyor. Bu da "eşitlik" üzerinden tek bir tane proper classın olacağı sonucunu çıkartıyor ki, bu, absurd ve standartlara da uygun değil.</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">Yanılmıyorsam da yanıldığım noktayı göremediğim için sizlere sorma gereği duydum. İlgilenenlere şimdiden teşekkür ederim.</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif;"><span style="font-size: 17.3333px;">ZE</span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div><div style="color: rgb(0, 0, 0); font-family: arial, helvetica, sans-serif; font-size: 12pt;"><span style="font-size: 17.3333px;"><br data-mce-bogus="1"></span></div></div><br></div></div></body></html>