Ordinal logic
ریاضی میں، آرڈینل منطق ایک منطق ہے جو پچھلے منطقوں کی ترتیب میں عناصر کو بار بار شامل کرکے ایک آرڈینل نمبر سے وابستہ ہوتی ہے۔ یہ تصور 1938 میں ایلن ٹورنگ نے گوڈل کے نامکمل نظریات کے پیش نظر پرنسٹن میں اپنے پی ایچ ڈی کے مقالے میں متعارف کرایا تھا۔ جب کہ گوڈل نے دکھایا کہ ہر منطق کا نظام کسی نہ کسی طرح نامکمل ہونے کا شکار ہوتا ہے، ٹورنگ نے ایک طریقہ پر توجہ مرکوز کی تاکہ منطق کے دیئے گئے نظام سے منطق کا ایک مکمل نظام بنایا جا سکے۔ عمل کو دہرانے سے منطق کی ایک ترتیب L1، L2 حاصل ہوتی ہے، ہر ایک پچھلے سے زیادہ مکمل ہوتی ہے۔ اس کے بعد ایک منطق L کی تعمیر کی جا سکتی ہے جس میں ثابت شدہ تھیوریمز L1، L2، وغیرہ کی مدد سے ثابت ہونے والے تھیوریمز کی مجموعی حیثیت رکھتے ہیں۔ اس طرح ٹورنگ نے دکھایا کہ منطق کو کسی بھی تعمیری آرڈینل کے ساتھ کیسے جوڑا جا سکتا ہے۔ حوالہ جات ریاضیاتی منطق رسمی منطق کے نظام عام اعداد