次にこの論理式と公理formula_105の最初の部分formula_129とが同一になるような代入を求め([[ユニフィケーション]])、