Без заголовка

А потом, из за самоприменения, с большой вероятностью влетаем в эквиваленты проблемы остановки/теоремы Геделя итд итп. Или это чисто теоретическая опасность?