مواد

• متواتر

  
  

  کلاسیکی کشش منطق میں ، ایک مستقل نظریہ وہ ہے جس میں تضاد نہیں ہوتا ہے۔ تضاد کی کمی کی تعریف سیمانٹک یا مصنوعی اصطلاحات میں بھی کی جا سکتی ہے۔ اصطلاحی تعریف میں کہا گیا ہے کہ ایک نظریہ مستقل ہے اگر اور صرف اس کے پاس اس کا نمونہ ہو ، یعنی ایسی تشریح موجود ہے جس کے تحت نظریہ کے تمام فارمولے درست ہیں۔ روایتی ارسطو سے متعلق منطق میں یہی وہ معنی استعمال کیا جاتا ہے ، حالانکہ عصری ریاضی کی منطق میں اس کے بجائے قابل اطمینان اصطلاح استعمال ہوتی ہے۔ ترکیب کی تعریف میں کہا گیا ہے کہ ٹی { ڈسپلے اسٹائل ٹی theory میں ایک نظریہ مستقل ہے اگر صرف اور اگر کوئی فارمولا formula { ڈسپلے اسٹائل ورفی} نہیں ہے تو اس طرح کہ دونوں that ڈسپلے اسٹائل ورفی} اور اس کی نفی ¬ φ { ڈسپلے اسٹائل lnot varphi T سیٹ T { ڈسپلے اسٹائل T of کے عناصر ہیں۔ A { ڈسپلے اسٹائل A closed کو بند جملوں کا مجموعہ بنائیں (غیر رسمی طور پر "محور") اور ⟨A st { ڈسپلے اسٹائل langle A رنگین closed کچھ کے تحت A { ڈسپلے اسٹائل A from سے ثابت شدہ بند جملوں کا مجموعہ (مخصوص ، ممکنہ طور پر واضح) رسمی کٹوتی کا نظام۔ محور A { ڈسپلے اسٹائل A of کا مجموعہ مطابقت رکھتا ہے جب ⟨A⟩ { displaystyle langle A color is.If اگر کوئی کشش نظام موجود ہے جس کے لئے یہ معقول اور نحوی تعریف کسی خاص کٹوتی میں وضع کردہ کسی نظریہ کے مترادف ہے۔ منطق ، منطق کو مکمل کہا جاتا ہے۔ سینٹینٹل کیلکلس کی مکمل بات 1918 میں پال برنیس اور 1921 میں ایمل پوسٹ نے ثابت کی تھی ، جبکہ پیش گوئی کیکولس کی مکمل بات 1930 میں کرٹ گڈیل نے ثابت کی تھی ، اور انڈکشن محور اسکیما کے سلسلے میں محدود ریاضی کے لئے مستقل ثبوت موجود تھے۔ (1924) ، وان نیومن (1927) اور ہربرینڈ (1931)۔ مضبوط منطق ، جیسے سیکنڈ آرڈر منطق ، مکمل نہیں ہیں۔ مستقل مزاجی کا ثبوت ریاضی کا ثبوت ہے کہ ایک خاص نظریہ مستقل ہے۔ ریاضی کے نظریہ کی ابتدائی ترقی ہلبرٹس پروگرام کے حصے کے طور پر ریاضی کے سبھی لوگوں کو مستقل مستقل ثبوت فراہم کرنے کی خواہش سے متاثر ہوئی۔ ہلبرٹس پروگرام پر مکمل طور پر نامکمل نظریات کا اثر پڑا ، جس نے یہ ثابت کیا کہ کافی حد تک مضبوط نظریات اپنی مستقل مزاجی ثابت نہیں کرسکتے ہیں (بشرطیکہ وہ حقیقت میں مستقل ہوں)۔ اگرچہ مستقل مزاجی کو ماڈل تھیوری کے ذریعہ ثابت کیا جاسکتا ہے ، لیکن یہ اکثر خالص نظریاتی انداز میں کیا جاتا ہے ، بغیر کسی منطق کے کسی ماڈل کا حوالہ دینے کی ضرورت ہے۔ کٹ خاتمہ (یا اگر ایک موجود ہو تو بنیادی کیلکولس کے مساوی طور پر معمول پر لینا) کیلکولس کی مستقل مزاجی کا مطلب ہے: چونکہ واضح طور پر غلطی کا کوئی کٹ فری ثبوت نہیں ہے لہذا عام طور پر اس میں کوئی تضاد نہیں ہے۔

  
  

• متضاد (صفت)

  مستقل کی غلط ہجے

• مستقل (صفت)

  باقاعدگی سے ہونے والی ، قابل اعتماد فطرت کی۔ 16 ویں دیر سے فرسودہ معنی میں ‘پر مشتمل ہے’

  "کچھ ابتدائی تفریحی مقامات کے علاوہ ، چین میں چنگلش کا مستقل استعمال بہت پریشان کن ہوسکتا ہے۔"

  "وہ اپنے سیاسی انتخاب میں بہت مستقل ہے: معیشت اچھی ہو یا خراب ، وہ ہمیشہ لیبر کو ووٹ دیتا ہے!"

• مستقل (صفت)

  ہم آہنگ ، معاہدہ.

• مستقل (صفت)

  بیانات کا ایک مجموعہ: اس طرح کہ ان کی طرف سے کوئی تضاد منطقی طور پر نہیں چلتا ہے۔

• مستقل (اسم)

  وہ چیزیں یا حقائق جو ایک دوسرے کے ساتھ موافق ہیں یا ایک دوسرے کے ساتھ معاہدہ ہیں۔

• مستقل (اسم)

  ایک قسم کا توحید کرنے والا جسے مقدس تقدیر حاصل کرنے کی اجازت پر مدد کی اجازت تھی۔

• مستقل (صفت)

  مضبوطی یا استحکام رکھنے؛ فرم سخت؛ ٹھوس.

• مستقل (صفت)

  خود سے یا کسی اور سے معاہدہ کرنا؛ اس کے حصوں میں ہم آہنگی رکھنا؛ اتحاد کا حامل؛ معاہدہ؛ ہم آہنگی جمع؛ ہم آہنگ وردی متضاد نہیں

  
  

• مستقل (صفت)

  رہنا یا اپنے عقائد یا پیشوں کے مطابق ہونا۔

• مستقل (صفت)

  (کبھی کبھی or کے ساتھ ساتھ) معاہدے یا مستحکم یا قابل اعتماد میں؛

  "معروف حقائق کے مطابق گواہی"

  "میں نے فیصلہ کیا ہے کہ میں جس طرز عمل کی پیروی کر رہا ہوں وہ جنگ کے وقت صدر کی حیثیت سے میری ذمہ داری کے احساس کے مطابق ہے"۔

• مستقل (صفت)

  منظم ، منطقی ، اور جمالیات کے مطابق حصوں کے مستقل رشتے کے ذریعہ نشان زد؛

  "ایک منطقی دلیل"

  "منظم انداز"

• مستقل (صفت)

  دوبارہ پیش کرنے کے قابل؛

  "حیرت انگیز طور پر قابل تولیدی نتائج حاصل کیے جاسکتے ہیں"

• مستقل (صفت)

  پورے ڈھانچے یا ساخت میں ایک ہی؛

  "تھوڑا سا کوئلہ اکثر مستقل اور یکساں مصنوع کے طور پر سمجھا جاتا ہے"