具有代表性的几个公理系统: