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