मैंने देखा है (और सुना है) यह दावा किया है कि कॉक्ल के बीच में अपवर्जित के शास्त्रीय स्वयंसिद्ध को जोड़ना सुरक्षित है, लेकिन मैं इस दावे का समर्थन करने वाले एक पेपर को नहीं ढूंढ सकता हूं। कोक विकी पर सूचीबद्ध कागजों को मैं बाहर के बीच में देख रहा हूं, जो अप्रतिसादी सेट के साथ असंगतता दिखा रहे हैं।
वास्तव में, ऐसा लगता है कि Coquand कहता है कि Excluded Middle ( negative निवासी ) CoC के लिए अपने विवरण (PDF) के खंड 4.5.3 में CoC के लिए असंगत है । हालाँकि, यह धारा मेरे लिए थोड़ी अचंभित करने वाली है, इसलिए मैं बहुत अच्छी तरह से उसे गलत समझ सकता हूं।