假定真实以便证明另一个命题的辅助命题。

• a subsidiary proposition that is assumed to be true in order to prove another proposition.