ABSTRACT
No sharp boundary can be drawn between logic and arithmetic .... If this formal theory is correct, then logic cannot be as barren as it may appear upon superficial examination - an appearance for which logicians themselves must be assigned part of the blame.
