逻辑学里的集合和非集合