Surreal Numbers

• 超现实数公理
• <=的传递性
• 加法
• 零元
• 交换律与结合律
• 逆元
• 同类
• 超现实数与实数
• 超现实数与不平等博弈