Пусть мало нас, но мы - конструктивисты,
И мы полны задора и огня!
Толкаем, не пугаясь свиста,
Науку завтрашнего дня.

Припев:
    Нам алгорифмы все решат проблемы,
    Докажут теоремы, следствия и леммы,
    Нам алгорифмы на все дадут ответ,
    Но лишь не там, но лишь не там, где алгорифмов нет.

Великий Кантор стройностью случайной
Сумел пленить и старца, и юнца,
Но множеств и сечений тайны
Лишь нам доступны до конца.

Припев.

Настанет день, когда на первом курсе
Конструкт поймет последний идиот.
Мир алгорифмов и рекурсий
На смену алефам идет.

Припев.