Mathematische Logik/Gemischte Satzabfrage/20/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. /Fakt
  2. In einem Peano-Halbring gilt für jedes die Eigenschaft: Entweder ist oder es gibt ein mit .
  3. Die Menge

    ist nicht

    -entscheidbar.
Zur gelösten Aufgabe