本书讲述了1933年, 塔尔斯基发表了著名论文《形式化语言中的真之概念》, 在该文中塔尔斯基从否定在自然语言中定义真的可能性出发, 区分了对象语言与元语言, 并使用满足概念给真做了一个实质上恰当、形式上正确的真之定义, 以塔尔斯基的真之定义为核心形成了塔尔斯基的真之语义理论。