实践，"理论"二冲程引擎与数学推演论证的永真性.

elim

首先声明下面所谈的仅限于数学。

从欧几里得的几何原本以及希尔伯特的几何基础可以洞见，数学定理的提出和证明与实践-"理论",再实践，又"理论"以至无穷这种猜想验证假说再修正这种二冲程破机器好不相干。

毕达哥拉斯证明了勾股定理，就没有什么必要去验证，更没有必要去修改勾股定理了。这是数学有别于其它任何学科的地方。

什么是实践？ 畜生有没有实践？回答是没有！虽然畜生因本能会做这做那，储存，垒窝等等，因为这些东西不是践行某种理论，所以不叫实践。所以理论是实践的基础而不是相反。这是其一。

什么样的东西需要用实践检验？那是关于现实世界的某种性质的猜想或者假说。其实实践不能证明一个猜想，理论，假说，但有可能证伪这些东西。所以二冲程机制对自然科学是切实的。但数学严格说不是自然科学。数学是关于观念世界的精确结构学科，它的建立论证本质上也是在观念层面上实现的。