公理7 关于直觉