Bundan sonra, bütün bir taşıyıcı benzerliğin bütüne ait herhangi bir parçasının da bütün olduğu gerçeğini ayrıntılı olarak geliştirdi; her yedi yedili sınıftı; ve büyülü benzerlik biliminin diğer detayları tek bir aksiyomdan oldukça mantıklı bir şekilde takip edildi.
Bütünün herhangi bir parçası bütündür.
Bir bütün bir parçaya eşit değildir.