呵呵这学期期末我集合论考试题是证明2+2=4解：∵1={0}又∵序数加法定义a+b=type（a×{0}+b×{1}，∠）∴1+1=type((00),(01),∠)因为有两个不同序型，（有几个不同序型就是几）∴1+1=2至于谁先证的,我猜是康托吧
