Мне понравилось. Оказалось, что многие вопросы о которых я думал сводятся к пределу самореференции и вообще не имеют ответа потому что это некорректные вопросы.
Выводы такие что из формальных систем надо брать то что работает и не пытаться искать абсолютной истины или полной обоснованности. Потому что формальные системы изначально условны