Gentzen's idea was that having rules like this is what gives meaning to one's words, or at least to certain words.
Gentzen 的想法是拥有这样的规则就是对你的词语，至少对特定词语的给出意义的东西。