四签名 一　演绎法的研究