当然の反応として、定義を証明するって何やねん、とかツッコまれているのを耳にしました。 しかし、日常会話において、たとえば、定義（がWell-definedであること）を証明しよう、の括弧内が省略されるのは別にそこまで不自然なことでもないんじゃないかな！…