если Вам кажется, попробуйте перекреститься.
Мы говорим не об "языках програмирования", а "семантике естественных языков"
:) Оказывается, уже ВЫ задаёте предмет разговора.

Так что ваш опыт программирования на Basic тут не уместен
Говорилось именно о "self-reference"
Когда освоите какой-нибуль курс по семиотике, семантике естественных языков, матлогике (особенно уместны труды Смальяна и его пример неразрешимого языка с "self-reference") тогда мы с Вами и поговорим
Да нет, это Вы сами идите и осваивайте всё вышеперечисленное.
Потом вернитесь и расскажите с какой радости я не имею право описывать суждения высказанные об истинности или ложности хотя бы и на естественном языке с использованием математических терминов.
Если Вам не известно, что рекурсивность функции - это понятие не столько из программирования, сколько из математики - это Ваша беда.
Если когда Вас в это тыкают носом, Вы ещё продолжаете ерепениться - это не более, чем демонстрация Вашей глупости.

Идите, и учите матчасть. Потом возвращайтесь.