Цитата:
Точнее, не более одного раза.
И в чем же проблема с замкнутостью?
Проблема скорее в том, как это записать в виде формул
Если упереться, можно и в виде формул. Но зачем?
Откройте любую книжку по математике. Или даже журнал.
Разве там все доказательства состоят из голых формул?
Встречаются, конечно, и такие. Но редко. Обычно доказательство разумно сочетает формальное и словесное изложение.
В частности, вполне допустим и исключительно словесный вариант.