Для сотен страниц развернутые аргументы разобрались, аксиомы и теоремы блокируются. А что остается с нами в конце концов? Общее смысл, что мир может быть выражен в тщательно изведенных аргументах, в взаимодействии аксиом и теоремах.