क्लासिक में कंस्ट्रक्शन पेपर की गणना में एक नियम है जो बताता है
(पीडीएफ का पेज 7, मूल दस्तावेज का पेज 101)
इस नियम का अर्थ यह होगा कि कोई भी संदर्भ उस संदर्भ के किसी सदस्य के लिए अतिरेक है। ऐसा लगता है कि यह सही नहीं होना चाहिए, क्योंकि यह प्रवेश करेगा
1 ≅ Nat
3 ≅ Nat
1 ≅ 3
अगर नेट एक संदर्भ है।
मुझे लगता है कि सबसे अच्छी व्याख्या यह है कि निचले डेल्टा का मतलब एम था। विशेष रूप से अगले पृष्ठ पर दिए गए नियमों को देखते हुए।
तो क्या यह केवल एक टाइपो, या कुछ सूक्ष्म तार्किक नियम है जो मुझे समझ में नहीं आते हैं?