Unless you are studying the meaning of meaning, in which case the goal is the (second) meaning. (i.e https://en.wikipedia.org/wiki/Proof-theoretic_semantics ht

Unless you are studying the meaning of meaning, in which case the goal is the (second) meaning. (i.e https://en.wikipedia.org/wiki/Proof-theoretic_semantics https://en.wikipedia.org/wiki/Proof-theoretic_semantics ) I may be wrong though.