Alasan utama untuk menghindari set dalam semantik jenis adalah bahwa bahasa pemrograman yang khas memungkinkan kita untuk mendefinisikan fungsi rekursif sewenang-wenang. Oleh karena itu, apa pun arti suatu tipe, ia harus memiliki properti titik tetap. Satu-satunya set dengan properti seperti itu adalah set singleton.
Untuk lebih tepatnya, nilai yang didefinisikan secara rekursif dari tipe (di mana biasanya adalah tipe fungsi) didefinisikan oleh persamaan titik tetap mana dapat menjadi program apa pun. Jika diartikan sebagai himpunan maka kita akan mengharapkan setiap memiliki titik tetap. Tetapi satu-satunya set dengan properti ini adalah singleton.τ τ v = Φ ( v ) Φ : τ → τ τ T f : T → T Tvττv = Φ ( v )Φ : τ→ ττTf: T→ TT
Tentu saja, Anda juga bisa menyadari bahwa pelakunya adalah logika klasik. Jika Anda bekerja dengan teori himpunan intuitionistic, maka konsisten untuk mengasumsikan bahwa ada banyak set dengan properti titik tetap. Bahkan, ini telah digunakan untuk memberikan semantik bahasa pemrograman, lihat misalnya
Alex Simpson, Kecukupan Komputasi untuk Jenis Rekursif dalam Model Teori Set Intuitionistic , Dalam Sejarah Logika Murni dan Terapan, 130: 207-275, 2004.