Peano-Arithmetik/Goldbach-Vermutung/Entscheidbar/Aufgabe

Entwerfe ein ${}R$-Entscheidungsverfahren dafür, ob die Goldbach-Vermutung aus der erststufigen Peano-Arithmetik ableitbar ist.

Eine Lösung erstellen