On the Goldbach conjecture and the consistency of general recursive arithemetic. H.A. Pogorzelski (1974) Journal für die reine und angewandte Mathematik