On Tue, 22 Dec 1998, Martin Davis wrote: > I fail to understand why the formulas of PA, the set of axioms, and the > notion of a proof in PA are considered to be easier to understand than the > set of natural numbers and its members. OK. But try to convince these guys that they have to try to think. Andrzej Trybulec