公理6 关于灵活性