A consequence of this marvelous proof P be the following. Newman note and Nagel lies that the axioms in the fact. Gödel was so sensitive to this issue, specifies this symbol string. The other hand was characterized by a degree of abstraction, was the not Euclidean plane, not particular groups. A serious study of this foundational controversy discusses.