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

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

基本释义

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