Peano-Arithmetik/Goldbach-Vermutung/Entscheidbar/Aufgabe
Entwerfe ein -Entscheidungsverfahren dafür, ob die Goldbach-Vermutung aus der erststufigen Peano-Arithmetik
ableitbar ist.Entwerfe ein -Entscheidungsverfahren dafür, ob die
Goldbach-Vermutung
aus der
erststufigen Peano-Arithmetik