数学においてゴルディングの不等式(ゴルディングのふとうしき、英: Gårding's inequality)は、ある実線型楕円型偏微分作用素によって導出される双線型形式に対する下界を与える一結果である。の名にちなむ。