在回答这个问题前我先简单说下集合论里一些名词和到底怎么理解的含义
公理:数学里哲学里都有这种概念,它的数学部分我们先忽略,只看最开始的含义它其实就是指一些断言不证自明,或者无法证明的断言作为事实被我们使用
比如人人生而平等这句话就是一个典型的哲学公理断言,因为没法在现实里证明
换成战力语言,超越全能的超全能就需要一条公理,因为很多人不承认有比全能更强的超全能,没法证明超全能必须存在,你就只能自己声称存在一个超全能,这个操作就是添加公理了,添加公理还原到具体内容就是添加新的概念,新的句子,新的设定
系统:忽略数学部分,最宽泛角度看,所谓系统就是指你把一堆语句公理堆在一起形成一个可以操作的理论背景,这对应战力语言里所谓的世界观,某某体系,这俩是一回事,比如漫威世界观,就是漫威系统,漫威体系,理论上哲学体系,神学体系,还是你自己编的体系都可以看做一个系统
形式化:数学本质上是一种语言,形式化就类似于我们把汉语的自串符编码成抽象的规则来看待,我们当然可以不用形式化语言来表达,问题是这样会变得特别复杂,以马洛基数做例子,如果不采取形式化描述,纯粹自然语言描述会特别啰嗦特别模糊不清,但也不是不能描述,数学形式化只是帮助本来自然语言精确表达描述出来,它本质上和汉语英语没什么区别无非一种更精确的语言而已,汉语能表达描写的那形式语言也一样
公理:数学里哲学里都有这种概念,它的数学部分我们先忽略,只看最开始的含义它其实就是指一些断言不证自明,或者无法证明的断言作为事实被我们使用
比如人人生而平等这句话就是一个典型的哲学公理断言,因为没法在现实里证明
换成战力语言,超越全能的超全能就需要一条公理,因为很多人不承认有比全能更强的超全能,没法证明超全能必须存在,你就只能自己声称存在一个超全能,这个操作就是添加公理了,添加公理还原到具体内容就是添加新的概念,新的句子,新的设定
系统:忽略数学部分,最宽泛角度看,所谓系统就是指你把一堆语句公理堆在一起形成一个可以操作的理论背景,这对应战力语言里所谓的世界观,某某体系,这俩是一回事,比如漫威世界观,就是漫威系统,漫威体系,理论上哲学体系,神学体系,还是你自己编的体系都可以看做一个系统
形式化:数学本质上是一种语言,形式化就类似于我们把汉语的自串符编码成抽象的规则来看待,我们当然可以不用形式化语言来表达,问题是这样会变得特别复杂,以马洛基数做例子,如果不采取形式化描述,纯粹自然语言描述会特别啰嗦特别模糊不清,但也不是不能描述,数学形式化只是帮助本来自然语言精确表达描述出来,它本质上和汉语英语没什么区别无非一种更精确的语言而已,汉语能表达描写的那形式语言也一样