Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie