Московские tutti quanti: ч. 12

Л., увидев в окне какого-то здания в центре Москвы репродукцию васнецовских богатырей:

- Хочу быть как он (показывает на Илью Муромца).

- На лошади и с theorem proving, попирающим Витгенштейна?

- Да. Во имя Гёделя.