formal premise

【计】 形式前提
英汉词典
相关词语