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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
  1. /Fakt
  2. Sei ein Peano-Halbring und . Dann gibt es zu jedem eindeutig bestimmte mit , , und mit
  3. /Fakt
Zur gelösten Aufgabe