一阶谓词逻辑表示法的优点有（)。