类型系统简称类系

   我们哲学总结一切，没错，但人们一直没有一种直接的感受，类系的建设将使我们第一次对这一结论有一种质的感觉：利用它的范畴化工具，我们将能看到哲学能统领一切学科。但是在类系出现以前我们找不到任何工具能让我们这样做。这种基于范畴化的理论可以承载任何起源于哲学的的分支科学。而且能完善地表达出来。

   在某一范畴中，用平面只能表达其抽象空间中第一维和第二维，所谓的三维空间都是模拟的，并且与物理空间相去甚远，，因为整体和部分的关系以及各部分之间的关系跟事物 的类属关系是两码事。

1、用抽象空间表达类属关系。建议不使用适量。

2、用物理空间表达整体与部分或名部分间以及不同个体之间的关系。

3、在物理空间的某一种状态下或某一点上可以展开抽象空间。如果事情是一系列状态或不限于某一点就不需要抽象空间，物理空间中就可描述。

4、时间也是抽象空间中的概念。

   在现实中，发生在同一地点同一个体上的两件事情有着密不可分的物理关系。但它们在性质上也许相关很远。比方医生正在吃饭，但医院要求他提前上班。一边是生活，一边是工作，都与医生有关，但生活和工作在类系中可以用遥远来形容。

  可用引入空间和类属的办法来加强对对象的描述。

  有许多事情远非一分为二或者逐个列举那么简单，我们所处的环境已经是一个纷乱的世界。在这种意义上，类系的建立只不过是一个澄清事实的工具。

  但是，世界上又有什么不能归类和序列化的东西呢？我们用这种简单的办法处理任何复杂的事务。

序A：1   2   3   4

序B：2   1   3   4

你觉得哪一个更容易记忆？序B仅仅把1和2换了换，说上天你也不会喜欢它。

   用一个计算微积分的程例与一个计算累计和的程序例子比较，最后它们的二进制代码除了路径不同，几乎没有什么不一样。

这说明当事态发生变化时复杂的数学理论也遵循基本的逻辑规则。基于这于点。请将一切因果关系纳入类系，类系将最终给我们完美的答案。（从万有引力到相对论）。不要企图用类型系统代替一切我们思考，建设类系也不可能一劳永逸。但我们可以把尽可能把东西经过类化放入系统。就像专利局划代码一样，做得足够细。不能列举的用范畴法表示。呼吁将一切因果关系纳入类系，就像知网的口号一样，一个也不能少。

类系最终计算成一个实例，那才是结果，在这之前是大量的类和属性。需要注意的是类属本身是抽象的，但计算他们是现实的。基于主体的系统分解类系也需要时间。

范畴法表达有哪些？在数学和物理方面：

事物的属性分为自然属性和社会属性两大类。

范畴化与标准化

国家对标准化的定义是什么？

  如果没有人为的干预，世界是无序和随机的，为了人的需要才有了规则、法律、制度甚至标准。有时可以认为标准是管理和技术的分水岭。

 ’ 范‘’  畴‘ 的分解。

需要把逻辑学放入范畴学中讨论。

基于范畴化的类系需要的计算量比世界上任何计算项目都要大得多，因为我们企图用它来达到所有可能的事情。