几何概率、公理化定义