Pinhead, в одних местах нужен серьёзный подход, в других - нет. Не вижу проблем.

Заяц
Достаточно ограничить языковые средства. А понятие "языка-который" не формализуется принципиально. Это в духе проблемы остановки. Можно описать некий класс языков-которые, но выделить из всех языков языки-которые нельзя в принципе. Примерно потому что, почему "нельзя" спрашивать о некоторых вещах касательно множества всех множеств. Язык, в самом общем смысле, есть модель. Вопросы о множестве всех моделей... хех. Я не строго отвечаю, не специалист, увы.