আপনার চূড়ান্ত প্রশ্নের ইতিবাচক উত্তর হিসাবে, বহুগুণিত ল্যাম্বডা ক্যালকুলির সাধারণীকরণের প্রমাণ যেমন ক্যালকুলাস নির্মাণের জন্য কমপক্ষে উচ্চতর-অর্ডের গাণিতিক প্রয়োজন হয় এবং শক্তিশালী সিস্টেমগুলি (যেমন ইন্ডাকটিভ নির্মাণের ক্যালকুলাস) জেডএফসির সাথে সামঞ্জস্যপূর্ণ এবং আরও অনেক দুর্গম দুর্গম।
পি। এনপিপিএকজন1ডি টিআমিএমই( এন)লগ*( এন ))পিএকজনপিএকজন1
আরও দার্শনিকভাবে, কোনও বিমূর্ততার শক্তির সাথে ধারাবাহিকতা শক্তির সাথে সমীকরণের ভুল করবেন না।
কোনও বিষয় সংগঠিত করার সঠিক উপায়ে আপাতদৃষ্টিতে বন্য সেট-তাত্ত্বিক নীতিগুলি জড়িত থাকতে পারে, যদিও এটি ধারাবাহিকতার শক্তির ক্ষেত্রে কঠোরভাবে প্রয়োজনীয় নাও হতে পারে। উদাহরণস্বরূপ, দৃ strong় সংগ্রহের নীতিগুলি অভিন্নতা বৈশিষ্ট্যগুলি উল্লেখ করার জন্য খুব দরকারী - উদাহরণস্বরূপ, বিভাগের তাত্ত্বিকরা সব দলের বিভাগের মতো জিনিসগুলিকে হস্তান্তর করার জন্য দুর্বল বড় কার্ডিনাল অ্যাকোয়িয়ামগুলি অর্জন করতে চায় তবে তারা বস্তু ছিল। সর্বাধিক বিখ্যাত উদাহরণটি হল বীজগণিত জ্যামিতি, যার বিকাশ গ্রোথেনডিক মহাবিশ্বের বিস্তৃত ব্যবহার করে, তবে যার প্রয়োগগুলি (যেমন ফার্মার লাস্ট থিওরেম) স্পষ্টতই তৃতীয়-অর্ডের গাণিতিকের মধ্যে রয়েছে। আরও তুচ্ছ উদাহরণ হিসাবে, নোট করুন যে জেনেরিক পরিচয় এবং রচনা ক্রিয়াকলাপগুলি কার্যকারিতা নয়, যেহেতু সেগুলি পুরো বিশ্বজুড়ে সেট করা হয়।
σএক্সএক্স
সম্পাদনা: লজিক্যাল সিস্টেম এ-এর সিস্টেম বি-এর তুলনায় বৃহত্তর ধারাবাহিকতা রয়েছে, যদি এ এর ধারাবাহিকতা বি-এর ধারাবাহিকতা বোঝায় উদাহরণস্বরূপ, জেডএফসিতে পেনো পাটিগণিতের তুলনায় বৃহত্তর ধারাবাহিকতা রয়েছে, কারণ আপনি জেডএফসিতে পিএর ধারাবাহিকতা প্রমাণ করতে পারেন। এ এবং বি এর সামঞ্জস্যপূর্ণ শক্তি একই থাকে। উদাহরণস্বরূপ, হেইটিং (গঠনমূলক) গাণিতিক হলেই পেনো পাটিগণিত সুসংগত।
আইএমও, যুক্তি সম্পর্কে সবচেয়ে আশ্চর্যজনক তথ্য হ'ল যে ধারাবাহিকতা শক্তিটি এই প্রশ্নটিতে ফোটে যে "আপনি এই যুক্তিতে মোটামুটি প্রমাণ করতে পারবেন দ্রুততম বর্ধনীয় ফাংশনটি কী?" ফলস্বরূপ, বহু শ্রেণীর যুক্তিবিদ্যার ধারাবাহিকতা রৈখিকভাবে আদেশ করা যেতে পারে! আপনার দুটি লজিকস মোট প্রদর্শন করতে পারে দ্রুততম ক্রমবর্ধমান ফাংশনগুলি বর্ণনা করতে সক্ষম যদি আপনার কাছে একটি অরডিনাল স্বরলিপি থাকে তবে আপনি ট্রাইকোটমির মাধ্যমে জানেন যে হয় যে কোনও একটি অন্যটির সামঞ্জস্যতা প্রমাণ করতে পারে, বা সেগুলি সামঞ্জস্যপূর্ণ।
তবে এই বিস্ময়কর সত্যটি হ'ল গাণিতিক বিমূর্ততা সম্পর্কে কথা বলার জন্য কেন ধারাবাহিকতা শক্তি সঠিক সরঞ্জাম নয়। এটি কোডিং ট্রিকস সহ একটি সিস্টেমের আক্রমণকারী এবং একটি ভাল বিমূর্ততা আপনাকে কৌশলগুলি ছাড়াই একটি ধারণা প্রকাশ করতে দেয় । তবে এই ধারণাটি আনুষ্ঠানিকভাবে প্রকাশ করার জন্য আমরা যুক্তি সম্পর্কে যথেষ্ট জানি না।