о мета-доказательствах

[avva]

Понравилось, из комментария на stackexchange:

"Много лет назад, в одном из старших классов школы, я решал контрольную работу по углубленному изучению математики. Один из вопросов был «Докажите, что...», и я понятия не имел, как это доказывать (я не помню уже, что "это" было). Я решил все остальные задачи, вернулся к этому вопросу, так ничего и не придумал, и когда надо было сдавать работу, быстро написал "Доказательство: если бы это было неверно, вы бы не дали нам задание это доказать."

Я не помню, какую оценку получил за эту работу, но на всех следующих контрольных вопросы были сформулированы: «Докажите или опровергните:...»"