เหตุผลหลักในการหลีกเลี่ยงชุดในความหมายของประเภทคือภาษาการเขียนโปรแกรมทั่วไปช่วยให้เราสามารถกำหนดฟังก์ชั่นซ้ำโดยพลการ ดังนั้นไม่ว่าความหมายของประเภทใดจะต้องมีคุณสมบัติจุดคงที่ ชุดเดียวที่มีคุณสมบัติดังกล่าวคือชุดเดียว
เพื่อความแม่นยำมากขึ้นค่าที่กำหนดแบบวนซ้ำของประเภทτ (โดยทั่วไปτเป็นประเภทฟังก์ชั่น) ถูกกำหนดโดยสมการจุดคงที่v = Φ ( v )โดยที่Φ : τ → τสามารถโปรแกรมใด ๆ ถ้าτถูกตีความว่าเป็นชุดTแล้วเราจะคาดหวังว่าทุกฉ: T → Tจะมีจุดคงที่ แต่ชุดTเดียวที่มีคุณสมบัตินี้คือซิงเกิลโวลต์ττv = Φ ( v )Φ : τ→ ττTฉ: T→ TT
แน่นอนคุณอาจตระหนักได้ว่าผู้กระทำผิดเป็นตรรกะดั้งเดิม หากคุณทำงานกับทฤษฎีเซต intuitionistic ก็ถือว่าสอดคล้องกันว่ามีหลายชุดที่มีคุณสมบัติจุดคงที่ ในความเป็นจริงสิ่งนี้ถูกใช้เพื่อให้ความหมายของภาษาโปรแกรมดูตัวอย่าง
Alex Simpson ความเพียงพอในการคำนวณสำหรับประเภทแบบเรียกซ้ำในแบบจำลองของทฤษฎีเซต Intuitionisticในพงศาวดารของตรรกะที่บริสุทธิ์และประยุกต์, 130: 207-275, 2004