Kutokana na hayo, ilijitokeza kwa undani sana ukweli kwamba sehemu yoyote ya jumla inayofanana na jumla ilikuwa pia jumla; kwamba kila saba ilikuwa darasa la saba zote; na maelezo mengine ya sayansi ya kufanana kwa uchawi yalitokana kwa mantiki kabisa na axiom moja.
Sehemu yoyote ya jumla ni jumla.