And this may be true: there probably isn't a formal directive.

这也许是事实的：可能没有正式的指令。

youdao

Therefore no formal system is a true axiomatization of full number theory.

因此，没有正式的系统是一个真正的公理化充分一些理论。

youdao

Therefore no formal system is a true axiomatization of full number theory.

因此，没有正式的系统是一个真正的公理化充分一些理论。

youdao