Скрипнули тени в негильбертовом уголке
гильбертовой не коробки,
а емкой выбоины в колее
гиблой дороги.
Скрипнули ― и умолкли…
Скрипнули – и ―
― Либо сильная дизъюнкция или слабая…
Сильная скобка. Слабая скобка. Скоро ―
― Теорема Р[э] недоказуема, потому что доказывать некому.
А теорема Т[э] доказуема, но все равно доказывать некому…
Топчутся логии в тайном том уголке ―
― Топчутся логий толпы
в пыльном том, который ―
― Ржавая скобка. Скоро ―
― И следовательно ― из разбежавшегося и процветшего,
где просвечивает…
Теорема Ф[и] информирует, но не доросла,
а только кивает туда из песка
караванам иных,
кто не будет знать зноя
и возле колодца толпиться.