الجملة الأولى: الصيغة 11 ، حيث نقطة التقاطع تمر عبر جميع المجموعات الفرعية الطبيعية للمؤشر المحدود. الجملة الثانية: الصيغة 11 ، حيث يمر التقاطع عبر جميع المجموعات الفرعية المحدودة للمؤشر الطبيعي. السؤال: هل تعبر الجملة الأولى والجملة الثانية عن نفس المعنى؟ نعم أم لا؟