一、形式化的一般程序及其本质