PDF《部分论简介》

20 2.塔斯基 1. 塔斯基以部分论的 部分关系(the relation of a part to whole) 和 球体 为初始概念定义出 点 和 两个点与第三个点距离相等 2. 所有欧几里德几何的概念都可以通过 点 和 两个点与第三个点距离相等 来定义. 3. 塔斯基和莱斯尼斯基术语的区别 塔斯基 part proper part disjoint 莱斯尼斯基 ingredient part exterior

21 定义和公设 定义: ? 个体X是个体Y的真部分=:X是Y的部分并且X不 等于Y ? 个体X与个体Y不交=:没有个体Z既是X又是Y的 部分 ? 个体X是个体的类的和=: (1)所有类的元素都是X的部分 (2)没有X的部分是与类的所有元素都不交的 公........