Обговорення:Теорема про довільну зупинку