我估计是被私密文章比例极高的博主了。我统计了一下，有７.３％博文被私密了，总数超过１千篇。由此可见，我是多么不适合公开：）写下面的文章，估计永远都不会被私密，因为，没人看：）
哥德尔证明，从证明的过程看，体现出的最大价值，就是某形式化系统涉及到确定整数基本性质的公理并包括加法和乘法，就无法逃脱哥德尔证明的打击。这就非常的尴尬，因为，符合这种基本要求的形式系统，都肯定是不完全的。如果，构建一个形式系统，不包括整数基本性质，也不能处理加法和乘法，那还有什么用？所以，通过公理系统演绎，进行形式化推理，势必被哥德尔不完全定理笼罩。绕开哥德尔定理的可能性，非常的小，因为，绕开基本等于无用。
哥德尔证明中，很巧妙的手法，就是映射的运用。通过字符与素数之间的映射关系，巧妙的实现了形式化公式的算术化处理。这种手段，是科学的本质。在数学的发展过程中，尤其是应用数学发展，非常关键的一点，就是数学同自然的映射关系。通过计算，可以准确的预测实验检测结果。理论计算、观测之间，形成极高吻合度的一一对应关系，佐证了理论模型的客观性。同时，映射模式，在人类思维中，占据极其关键的位置。
在人脑中，所有的符号，都基于概念。概念，是否同现实与客观之间存在映射关系，决定了符号、概念的客观性。举个例子，当人脑中存在以下枚举【地狱、恶魔、小人、君子、天使、圣徒、菩萨、佛祖】时，人们在思维意识中，自觉的进行逻辑推演，枚举的赋值建立在道德驯化中。所谓道德，如同人脑初始化过程中，为符号系统设定的参数。大自然，并不存在以上枚举所指的客观映射。人类，完全是在利用人脑的离散符号系统，人为设定了符号的枚举值，并利用这些值
哥德尔证明中，很巧妙的手法，就是映射的运用。通过字符与素数之间的映射关系，巧妙的实现了形式化公式的算术化处理。这种手段，是科学的本质。在数学的发展过程中，尤其是应用数学发展，非常关键的一点，就是数学同自然的映射关系。通过计算，可以准确的预测实验检测结果。理论计算、观测之间，形成极高吻合度的一一对应关系，佐证了理论模型的客观性。同时，映射模式，在人类思维中，占据极其关键的位置。
在人脑中，所有的符号，都基于概念。概念，是否同现实与客观之间存在映射关系，决定了符号、概念的客观性。举个例子，当人脑中存在以下枚举【地狱、恶魔、小人、君子、天使、圣徒、菩萨、佛祖】时，人们在思维意识中，自觉的进行逻辑推演，枚举的赋值建立在道德驯化中。所谓道德，如同人脑初始化过程中，为符号系统设定的参数。大自然，并不存在以上枚举所指的客观映射。人类，完全是在利用人脑的离散符号系统，人为设定了符号的枚举值，并利用这些值