| Цитата |
|---|
| Gavial пишет: В такой формулировке не встречалось, но по сути это вариация известной теоремы Геделя о неполноте: в любой логической системе неизбежно существование утверждений, в рамках этой системы принципиально недоказуемых. Описать такую систему возможно только "извне". |

