集合的基础性质

 

§符号逻辑、集合的运算

 

§映射

 

§单射、满射

 

§关系

 

§集合的基数

 

§基数的运算

 

§Mizar与集论 / MML TARSKI : XBOOLE_0 : XBOOLE_1

 

集合的基础性质:布告栏

 

教官:师玉 / 电子邮件