Согласно теореме Геделя о неполноте, существуют желания, которые сбываются, но в тоже время это невозможно установить в рамках исходной формальной системы (т.е. не рассматривая само желание в комплексе формальной системы).
P.S. Подобных рекурсивных утверждений куча.