集合和简易逻辑