这样证明的话还得引入两个数的大小关系一定是三选一这个公理  
  
【 在 xviivx (好个好日子) 的大作中提到: 】
:  这个似乎有道理
:  但要又要解释为什么 中间找不出数字就说明他俩是同一个数，而不是他们还是分大小？
:  
:  
--
FROM 120.216.179.*