Suppose one is given a set of premises Γ and one wants to deduce a proposition Z from them.
假设给你一组前提 Γ 而你希望从它们演绎出命题 Z。