- А вот, - я повернулся и ткнул пальцем в один из журналов, - десять лет назад доказали... Как бы это объяснить... Смотрите, есть истина нашего мира. Ну, то, как на самом деле он устроен. Эта истина состоит из бесконечного числа истинных утверждений. Гёдель показал, что помимо истинных доказуемых есть истинные недоказуемые утверждения. А намедни выяснилось, что класс этих истинных недоказуемых утверждений бесконечен. Вдумайтесь! Мы не только никогда не будем знать о мире все, но мы даже не будем знать, какую часть истины мы познали, а сколько нам осталось неведомо, поскольку от нас сокрыта бес-ко-неч-ность истинных утверждений! Здорово, правда? И этот барьер принципиально непробиваем, вне зависимости от степени нашего развития и усилий, бросаемых на познание мира.