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

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