规则31 对基本前提进行专门的论证