是否可以从最基本的形式证明公理开始，一步一步展开最基本的推理的记录在纸上，或在电脑里。或者问专家。行不行，有没有补充？

复杂的知识也建立在基础知识之上

把推理完全形式化，记录下来。所有的推理都满足公理，不允许省略跳步。
从第一步开始，那些论断的证明的依据是什么，有没有未经证明的，有没有公理，有就标记出来，方法是什么，是否正确，正确和错误都标记出来。

行不行？或者问专家，或者多人讨论，行不行？

存在一种情况叫悖论

把推理完全形式化，展开成基本的步骤，所有的推理都写成形式证明。记录下来。所有的推理都满足公理，不允许省略跳步。
从第一步开始，那些论断的证明的依据是什么，有没有未经证明的，有没有公理，有就标记出来，方法是什么，是否正确，正确和错误都标记出来。

有的人可能会生造出逻辑演算的规则，理论的结果代入现实比较一下。

逻辑演算的规则是否客观