集合

集合论的基本概念

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 集合上的运算 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

  

 

 有限集的计数

 

 归纳法和自然数

 

   

 

 皮亚诺系统

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 归纳证明

 

 

 

 

 

 

 

 语言上的运算

 

 

 

 集合的笛卡尔乘积