Uiteindelijk werd het een herziening van het gebruik van formele logica, wat toegepast op wiskundige betrekkingen, verrassende zaken opleverde uitmondend in een korte beschrijving van Modale Logica en haar deelgebied Bewijstheorie. De Modale Logica betreft dan de mogelijke werelden semantiek en niet zoals ik in het vorige boek dit onderwerp naar voren bracht. Ook dit nieuwe boek is hobbymatig van aard en daarom ga ik niet diep door in allerlei vakgebieden, want het leren begrijpen van wat men wil zeggen is al moeilijk genoeg. Het roept wederom allerlei vragen op die in het laatste boek over dit onderwerp aan de orde komt, maar dan toegespitst op verzamelingen. Er blijken nogal wat haken en ogen te zitten aan het wiskunde vangnet genaamd 'verzamelingen'. Ook dit boek is alleen door mij nagegaan op vergissingen en fouten. Zij zullen ongetwijfeld ook in dit boek aanwezig zijn.