一、集合与简易逻辑