It is important to note that as Tarski originally formulated it, this theory applies only to formal languages.
（注意按Tarski最初的公式化，这个理论只适用于形式语言是重要的。