Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie