Sayılabilir Nedir?

SAYILABİLİR sıf. Dilbil. Sayılabilir, yani tekil/çoğul karşıtlığı olan kişi ya da nesne adlarını belirtmek için kullanılır. (Karşt. SAYILAMAZ.) Sayılabilir adların önüne bir asıl sayı sıfatı gelebilir.

—Kûm. kur. N doğal tamsayılar kümesi ile bijeksiyon haline getirilebilen bir küme için kullanılır.

—ANSİKL. Küm. kur. Sayılabilir bir küme, elemanları sayılabilen, yani bir (aı, a2,...) listesi biçimine konabilen bir kümedir. Sezgiden esinlediğimizin tersine, bütün kümeler bu biçimde sayılamaz. (köşeğenelakıl yürütme.) Aşağıda, sayılabilir kümeler (K 0 kardinallı) üzerine esaslı sonuçlar ifade edilmiştir: sayılabilir bir kümenin her parçası en fazla sayılabilirdir; her sonsuz kümenin sayılabilir bir altkümesi vardır (bu son sonuç seçim’ belitinin tanıtlanmasını zorunlu kılar); en fazla sayılabilir sayıdaki kümelerin en fazla sayılabilir birleşimi en fazla sayılabilirdir.