এটি কি সত্য যে সিআইসিতে অ্যাক্সিয়ম যুক্ত করার সংজ্ঞা এবং উপপাদগুলির গণ্য বিষয়বস্তুতে নেতিবাচক প্রভাব থাকতে পারে? আমি বুঝতে তত্ত্ব স্বাভাবিক আচরণ যে কোনো বদ্ধ শব্দটি তার ক্যানোনিকাল স্বাভাবিক ফর্ম, যেমন কমাতে হবে, সত্য হয় তাহলে এন ফর্মের একটি শব্দ কমাতে হবে ( গুলি তোমার দর্শন লগ করা গ গ । । । ( গুলি তোমার দর্শন লগ করা সি সি ( 0 ) ) ) । তবে কোনও অ্যাকিয়োম পোস্ট করার সময় - ফাংশনটির এক্সটেনসিলিটি অ্যাক্সিয়ামটি বলুন - আমরা কেবল সিস্টেমে একটি নতুন ধ্রুবক যুক্ত করিfunext
যে হবে শুধু "জাদুর" এর একটি প্রমাণ উত্পাদন করে কোন প্রমাণ থেকে Π x : একটি চ ( এক্স ) = ছ ( এক্স ) , (একেবারেই কোনও গণনীয় অর্থ ছাড়া অর্থে যে আমরা তাদের কাছ থেকে কোনো কোড নিষ্কাষনের না করতে পারেন? )
তবে কেন এই "খারাপ"?
কারণ funext, আমি এই কোক এন্ট্রি এবং এই ম্যাথওভারফ্লো প্রশ্নটিতে পড়েছি যে এটি সিস্টেমকে হয় স্বাচ্ছন্দ্য বা সিদ্ধান্ত গ্রহণযোগ্য চেকিংয়ের কারণ হতে পারে। কোক এন্ট্রি একটি ভাল উদাহরণ উপস্থাপন করে বলে মনে হচ্ছে, তবে আমি এখনও সে সম্পর্কে আরও কিছু উল্লেখ চাই would এবং কোনওভাবে আমি এর সন্ধান করতে পারি না।
কীভাবে অতিরিক্ত অক্ষর যুক্ত করা সিআইসির আরও খারাপ আচরণের কারণ হতে পারে? কোনও ব্যবহারিক উদাহরণ দুর্দান্ত হবে। (উদাহরণস্বরূপ, ইউনিভ্যালেন্স অ্যাক্সিয়ম?) আমি এই প্রশ্নে ভয় পাচ্ছি যে খুব নরম, তবে যদি কেউ এই বিষয়গুলিতে কিছু আলোকপাত করতে পারে বা আমাকে কিছু উল্লেখ দিতে পারে তবে দুর্দান্ত হবে!
পিএস: কোকের এন্ট্রিতে উল্লেখ করা হয়েছে যে "থিয়েরি কোকোয়ান্ড ইতিমধ্যে পর্যবেক্ষণ করেছে যে অন্তরঙ্গ পরিবারগুলির সাথে প্যাটার্নের মিলটি 90 এর দশকের মাঝামাঝি সময়ে সম্প্রসারণের সাথে অসঙ্গতিপূর্ণ।" কেউ কি কোন কাগজে বা কিছু জানে?