面向非数学家的数理逻辑书为何满篇形式证明

一本声称面向非数学家、按需讲解数学与集合论概念的数理逻辑书，在100页后却充斥形式逻辑证明。书中出现p-consistent sets、Henkin完备性引理等内容，与“面向非数学家”的承诺形成反差。