尽管这样的语句形式上正确，其失衡却会使听众感到震惊，暗示有更深层的问题。

While such a sentence might be formally correct, its imbalance jars the listener, and hints at deeper problems.

youdao

塔斯基认为，令人满意的真句子定义应该满足两个条件：(1)形式上正确：(2)实质上适当。

Tarski thought that a satisfactory definition of truth should satisfy two conditions: (1) it is formally correct; (2) it is materially adequate.

youdao

一个非常重要的问题是询问模板函数，这些形式上的模板参数会被类型集合正确的取代，而不仅仅是STL算法。

One very important question to ask about any template function, not just about STL algorithms, is what the set of types is that may correctly be substituted for the formal template parameters.

youdao