For the expert the chief interest in the tract is that it makes readily accessible careful detailed formulation and proofs of certain standard theorems, for example, the deduction theorem, the reduction to truth tables, the substitution rule for the functional calculus, Gödel 's completeness theorem, etc.
Para sa mga eksperto ang chief interes sa mga sukat na ito ay ginagawang madali accessible maingat detalyadong pagbabalangkas at proofs ng mga tiyak na pamantayan theorems, halimbawa, ang pagbabawas teorama, ang pagbabawas sa katotohanan tables, ang mga patakaran para sa pagpapalit ng functional na calculus, Gödel 's pagkakumpleto teorama, atbp