> -- Илья Ермаков писал(а):
> Ну, пусть будет дан какой-либо немыслимый цикл с break-ами - его можно постепенно распутать и преобразовать в эквивалентныйИзничтожение break-ов это и есть уход в более сильную теорию.

Непротиворечивость какого-то конкретного цикла с break-ами будет доказана не в рамках теории "циклов с break-ами", а (прямо как Гёдель прописал) в рамках более сильной теории каких-нибудь там дейкстровских циклов.

Что касается самой "теории дейкстровских циклов", то она, видимо, в гёделевском смысле не полна.