В такой формулировке не встречалось, но по сути это вариация известной теоремы Геделя о неполноте: в любой логической системе неизбежно существование утверждений, в рамках этой системы принципиально недоказуемых. Описать такую систему возможно только "извне". [/QUOTE] Да, видимо, это то, что я искал. Потому что дальше эта теорема использовалась как доказательство непознаваемости мира. И я не помню, чтобы там речь шла о квантовой механике. Спасибо )