一种力学的公理形式