问题1:什么是集合? a朴素集合论(Naive Set Theory) 口一堆(满足特定性质的)物件构成的整体 口悖论: 罗素悖论:设集合S是由一切不属于自身的集 合所组成 LetR={x|x走x,thenR∈R←→R庆R Georg Cantor(1845-1918) Burali-Forti paradox ● a公理集合论(Axiomatic set theory) 口集合和集合成员并不直接被定义,而是先 规范可以描述其性质的一些公理 Bertrand Russell(1872-1970) https://en.wikipedia org/wiki/Georg Cantor https://en.wikipedia.org/wiki/Bertrand Russell问题1:什么是集合? ◼ 朴素集合论(Naïve Set Theory) ❑ 一堆(满足特定性质的)物件构成的整体 ❑ 悖论: ◼ 罗素悖论:设集合S是由一切不属于自身的集 合所组成 ◼ Burali-Forti paradox ◼ … ◼ 公理集合论(Axiomatic set theory) ❑ 集合和集合成员并不直接被定义,而是先 规范可以描述其性质的一些公理 Georg Cantor(1845-1918) Bertrand Russell(1872-1970) https://en.wikipedia.org/wiki/Georg_Cantor https://en.wikipedia.org/wiki/Bertrand_Russell