في عالم المنطق، ثمّة جسر. إنه يمتد فوق هوة تفصل بين مقبولية القاعدة وقابليتها للاشتقاق من المسلمات. ما دامت القواعد تكتفي بعدد منتهٍ من المقدمات، يظل الجسر متينًا — ففي المنطق الكلاسيكي، كل ما لا يُخِلّ بالصحة واردٌ أصلًا في التركيب اللغوي. لكن حالما تضيف مقدمات لانهائية، تبدأ الدعائم بالاهتزاز. الجسر، مع الأسف، ليس كلي القدرة.

الاكتمال البنيوي هو خاصية في نظام منطقي تمكّن من اشتقاق أي قاعدة مقبولة (لا تضيف نظريات جديدة) من المسلمات. في عام 1971، قدَّم و. بوغوجيلسكي هذا المفهوم، ومنذ ذلك الحين صار محكًّا لكثير من المنطقات اللاقلاسيكية. فالمنطق الحدسي، مثلًا، ليس تامًّا بنيويًا: توجد قواعد تحافظ على الصحة في جميع نماذج هييتنغ لكنها غير قابلة للاشتقاق من المسلمات. على أن الجسر يصمد أمام الحركة المنتهية في بعض شظاياه — كمنطقَي دوميت (LC) وميدفيديف (ML).

تأتي المشكلة عندما يُسمح بمجموعات لانهائية من المقدمات. خاصية تُدعى الاكتمال البنيوي من الرتبة κ (حيث κ عدد أصلي يحدّ عدد المقدمات والمتغيرات) تبيّن أنها شديدة الهشاشة. في البحث الجديد، تم إثبات أنه إذا كان تنوع توزيعي التطابقات من نمط منتهٍ مولَّدًا بجبرات منتهية، فإنه لأي κ > ω، الاكتمال البنيوي من الرتبة κ يكافئ الجدولية — أي التوليد بجبر منتهٍ واحد. بعبارة أخرى، لا يصمد الجسر إلا عندما تسَعُ الكونَ كلَّه جداولُ منتهية. منطقا LC و ML، اللذان تضم أصناف نماذجهما جبرات غير قابلة للتحليل إلى جداء مباشر جزئي، يفشلان في هذا الاختبار. قاعدة لانهائية مقبولة — كشبه معادلة من الرتبة ω المحدِّدة — لا يمكن اشتقاقها من أساس منتهٍ.

طريقة بناء هذه الأمثلة المضادة أنيقة: لكل زوج من العناصر المختلفة في الجبر يُدخل شرط يربطها بزوج مميّز من الكتلة المتراصة. إذا كان الجبر منتهيًا، تتحقق الشروط كلها ويُجبر الاستنتاج. أما في الجبرات اللانهائية فيُعثر على تقييم يفنِّد القاعدة. هذا الأسلوب يعمم طريقة يانكوف الكلاسيكية ويعتمد على أشباه معادلات κ المميزة للجبرات غير القابلة للتحليل إلى جداء مباشر جزئي، التي تؤدي دور الذرات في بنية التنوع.

جسر المنطق، كما اتضح، منشأةٌ للعوالم المنتهية. اللانهاية، إذ تقتحم القواعد، تدفع به إلى الهاوية بين النحو والدلالة. هذا الاكتشاف ليس مجرد طرفة: إنه يربط الاكتمال البنيوي بمسائل عميقة تتعلق بقابلية الاستنظام المنتهي وقابلية التقرير. في الأفق — استنظام الشظايا التامة بقوة من المنطق الحدسي، والبحث عن أسس مثلى، واستجلاء ذاك الحَدّ الرفيع حيث تنزاح اللوازم المنتهية إلى أخرى غير منتهية. لن ينجو الجسر إلا إذا بقينا على شاطئ المتناهي.