†Ж. Булгаковских господ, нас покинувших, тоже вы придумали?

††М. Само собой. Я и вас придумал.

†Ж. ...Здорово. Я правильно себя веду?

††М. Очень!

†Ж. Венский математик Курт Гёдель что-то доказал по теме, имеющей отношение к данной ситуации.

††М. Он доказал, что в любой системе утверждений, опирающейся на ту или иную аксиоматику, найдётся такое, которое для своего подтверждения или опровержения потребует выхода за пределы данной системы.