公理9 关于乐观与悲观