Теорема Бома — Якопини — утверждение о структурном программировании, согласно которому любой исполняемый алгоритм может быть преобразован к структурированному виду, то есть такому виду, когда ход его выполнения определяется только при помощи трёх структур управления: последовательностей (sequence), ветвлений (selection) и повторов (repetition).

Теорема была сформулирована и доказана итальянскими математиками Коррадо Бомом (англ. Corrado Böhm) и Джузеппе Якопини (Giuseppe Jacopini) в их статье 1966 года[1]. В статье также описывались методы преобразования неструктурированных алгоритмов в структурированные.

Публикация теоремы была толчком к началу дебатов о структурном программировании. Спустя 2 года вышла статья Эдсгера Дейкстры «Go To Statement Considered Harmful»[2], в которой он критиковал использование оператора GOTO и высказывался в пользу улучшения стиля программного кода за счёт использования структур управления и отказа от других инструкций, управляющих ходом алгоритма.

wiki:Теорема_Бома_—_Якопини

А как вы считаете - можно ли обойтись в программировании без GOTO (Перейти)? И считается ли плохим стилем программирования его использование или нет?

больше GOTO хороших и разных

Именно так.

Коллеги! Кажется кто-то из вас забыл, что операторы Возврат и Прервать являются выделенными (частными) случаями оператора GoTo. Остальные случаи должны быть с должным подходом реализованы с помощью оператора Перейти.
  Если отказываться от этого оператора то пишите такой код (382)! А то статистику портите.

Если ЭтоВася() = Истина Тогда
    Перейти ЭтоВася
КонецЕсли;
Если ЭтоВася() = Ложь Тогда
    Перейти ЭтоНеВася;
КонецЕсли;

именно так

только из классовой ненависти к гоутуненавистникам