Come dimostrare che non puoi dimostrare di non poter dimostrare tutto (a meno che tu non possa dimostrare davvero tutto)