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


  1. Es sei eine geordnete Menge mit der Eigenschaft, dass jede total geordnete Teilmenge eine obere Schranke in besitzt. Dann gibt es in maximale Elemente.
  2. Es sei ein Peano-Halbring und . Dann gibt es zu jedem eindeutig bestimmte mit , , und mit
  3. Die erststufige Peano-Arithmetik ist unvollständig.