Кстати, о науке. Пока искал цитату, задумался о том, как можно было бы формализовать понятие языка, в котором нельзя ответить на какой-то вопрос, и понял, что это уже сделал Курт Гёдель, хотя и для специфических случаев.