açın sözlüğü her şeyin bir tanımı var, birbirine baglı olması tanımlanamaz anlamına gelmiyor
bir çok bilim dalı var ve bildiklerimde biraz birşeyler karıştırdıklarımda, herşey tanımlı, bi matematikte eskilerden gelen bir mantık ile böyle bir alışkanlık olmus,
bir de bu tanımsızlıgı "tanımlayamamaya" baglayanlar var
tanımlayamamayı hep bir sorun çıkar deyip, tanımsız deyip ondan sonra tanımlayamadıkları kavramı "ustaca" heryerde kullanıyorlar, sorular çözüyorlar konu anlatıyorlar .... bir çelişki oluyor
hayattaki kullandıgımız herseyde oldugu gibi matematikteki herşeyi de tanımlayabiliriz, birbirine baglı olaiblir bu tanımlamayı engellemez, diye düşünüyorum
eğer tanımlamada kullanılan kelimelerin tanımına takılırsak hiçbirşey tanımlanamaz...
tanımsız terimleri sezgi ile anlarız lafı da bence biraz komik, , bir kelime söylendiginde insanın zihninde bir karsılık, bir sezgi lur zaten, tanımlı ve tanımsız denilen tüm terimlerde bu olur, dolayısı ile birşeyi tanımlarken kullanılan kelimeler birbirlerine baglı olsalarda olusan bu sezgilerle insan anlar
mesela
kapı nedir? "odalar arası geçişi sağlayan acılıp kapanabilen nesnelerdir" desek
oda nedir? "duvar ve kapılarla ayrılmış bölümlerdir" desek oda ve kapı tanımlarını birbirleirnin içinde kullansak hiçbir sorun olmaz zaten bu şekilde sözlükler yazılıyor ve tanımlanmayan hiçbirşey olmuyor
diye düşünüyorum
küme için de "İyi tanımlanmış nesneler topluluğu" fena degil ama boş kümeye biraz uzak kalıyor gibi
mesela " verildiği tanım ile eleman veya elemanlarının olup olmadıgı, eleman veya elemanları var ise bunların tek tek bu tanım ile belirlenebildiği matematiksel yapıya küme denir" gibi bir tanım verilebilir (tanımda eksik olabilir fazla düşünerek yapmadım) , sonuc itibari ile net bir şekilde tanımlanabilir
bu linktede yıllar önce yazdıgım kısa bir yazı var:)
https://groups.google.com/forum/#!msg/tmoz/lj81mQCldLw/sMhL-_8tDJoJ