ГЕДЕЛЬ, ЭШЕР, БАХ: эта бесконечная гирлянда.

Игра с системой.

Теперь давайте приложим эти правила к одной из предыдущих теорем и посмотрим, что у нас выйдет. Возьмем, к примеру, теорему <P э ~~P>:

<P э ~~P> старая теорема.

<~~~P э ~P> контрапозиция.

<~P э ~P> двойная тильда.

<P V ~P> замена.

Новая теорема в интерпретации утверждает, что:

Либо этот разум Будда, либо этот разум не Будда.

Интерпретированная теорема снова оказалось истинным (хотя, может быть, и не таким уж удивительным) высказыванием.