... for the general mathematician, philosopher, computer scientist and any other curious reader who has at least a nodding acquaintance with the symbolism of first-order logic, and who can recognize the logical validity of a few elementary formulas.
... para sa pangkalahatang dalubbilang, pilosopo, computer siyentipiko at anumang iba pang mga usisero reader na may hindi bababa sa isang nodding kakilala sa mga simbolo ng unang-order na lohika, at kung sino ang maaaring makilala ang mga makatuwirang Bisa ng elementarya ng ilang mga formula.