تخيل شيئا يفك تعريفات الرياضيات تلقائيا حتى نظرية المجموعات، كما يبدأ القسم 3.2 في Stacks في تحديد المخطط، كطريقة لتعريف كل مفهوم قد لا تعرفه بشكل متكرر شخص ما يرمز للطاقة أو أيا كان ما نفعله نحن القردة الحاسوبية هذه الأيام

مع وجود سقف عمق عشوائي أو شيء من هذا القبيل، لا حاجة للنزول إلى ZFC أو منطق رياضي عميق. مجرد بعض التخفيضات قد تساعد. من الواضح أن بعض الأشياء (مثل المخططات) تنتشر بشكل جنوني، لذا سيكون هناك N فروع تنزل بشكل متكرر، لكن نعم

إذا لم يكن مفيدا، ربما جميل؟

ربما ينخفض إلى MathLib Defs إلى القاع؟

بصراحة، أشعر أنني أنتهك نفسي بنشري في قائمة المشترين وليس فقط للمشتركين، لكنني نسيت أن أضغط على القائمة المنسدلة خلال اليومين الماضيين، فليذهب للمشاكل