（）是阿维森纳为寻找前提而提供的方法。