Цитата из книги «Аврора»

О да, ты можешь преодолеть проблему остановки с помощью основанного на языке индуктивного вывода.