集合论 现代数学的基础是集合论, 集合是一个范畴,在形式逻辑中,范畴是指 的最高一级的无法定义的概念。 例如,定义直角三角形是有一个角为九十度 的三角形,因此用了三角形这个概念来定 义直角三角形。而三角形定义为有三条边 的多边形,因此用了多边形这个概念来定 义三角形。而多边形则是由几条直线包围 形成的几何图形,因此用几何图形这个概集合论 现代数学的基础是集合论， 集合是一个范畴，在形式逻辑中，范畴是指 的最高一级的无法定义的概念。 例如，定义直角三角形是有一个角为九十度 的三角形，因此用了三角形这个概念来定 义直角三角形。而三角形定义为有三条边 的多边形，因此用了多边形这个概念来定 义三角形。而多边形则是由几条直线包围 形成的几何图形，因此用几何图形这个概 念