软件系统的公理化类比

软件系统的本质是数学。数据结构看作是编码，算法看作是数理逻辑。对数据结构的逻辑执行是数理逻辑对编码的作用。

数学的基本方法论是公理化。

因此，对于软件系统，计算机基本的计算结构（I/O，存储，计算，控制），网络规则看作是公理，计算结构相互作用规则看作是运算规则。用户功能诉求，系统HA、易用性等诉求看作是计算任务输入。对于编程实现的人就是在一套公理化系统中按照一定规则和约束在组装逻辑。将信息进行加工产生新的信息，每一个被产生的信息都是一个定理。即，通过公理和规则完成对输入的正确处理。