第四节 一种柏拉图意义上形式化的演进