"1"用数学怎么定义?貌似用集合的?