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

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