概算的公理化具有的性质有