公理（函數式）某種程度上是中心化（面向對象）的體現。

（無程序基礎）

公理，函數實質，函數群，函數求導這些還是挺難定義的。

計算機不知道可不可以實現中心化。

這個差異叫做 函數 和 面向對象。

（不過面向對象和面向過程應當是一體的）

1984年論文圖有助于理解。