توجد في نظرية المجموعات المعروفة باسم "إن إف يو" مجموعة شاملة تضم جميع الأشياء التي يسمح بها النظام، ولذلك تمتلك أكبر عدد أصلي داخل النظرية. يختلف ذلك عن نظرية المجموعات المعتادة، التي يضمن فيها مبرهن كانتور وجود مجموعة أكبر من أي مجموعة معطاة، فلا يوجد فيها أكبر حجم للانهاية.