第二节 假定性空位推算