Меня спрашивали, чем мне не нравятся понятия типа «мощность множества», теорема Гёделя или что-то подобное.
Я отвечу: они мне не нравятся тем, что все они подобны подсчётам ангелов на кончике иглы. То есть сильным заявлениям о чём-то неопределённом и не только принципиально неприменимом, но даже о принципиально необнаружимом.
В этом случае в рассуждениях с неизбежностью будут логические проблемы, а вся разница между разными их версиями лишь в том, сколь глубоко эти проблемы в них сумели закопать.