Ответ: [Курту] Гёделю.

Комментарий: ОНО — это доказательство существования Бога. Рассуждение на раздаточном материале иллюстрирует парадокс, согласно которому существование нуля невозможно при наличии обратимой ненулевой величины, что роднит его с онтологическими аргументами, а вот трюк Эйленберга позволяет доказать, например, необратимость топологических узлов. Бежавший от войны в Америку Гёдель разработал своё доказательство, вероятно, уже в Принстоне.