Bundan büyük bir detay ile gelişti , tüm taşıyan bir parçası olan tüm aynı zamanda tüm yedili , her yedi sınıfı olduğunu ; ve büyülü benzerlik bilimin diğer detayları , tek oldukça mantıklı takip etti axiom .
Bir tüm bir kısmı eşit değildir .