高度的抽象性和概括性;精确性，即严密的逻辑性及结论的确定性;应用的普遍性和可操作性