Zahlentheorie/Peano-Axiome/Nachfolger/Erste Stufe/Axiom

Aus Wikiversity

Die Peano-Axiome für die Nachfolgerfunktion in der ersten Stufe werden (in der Sprache zur Symbolmenge mit einer Konstanten und einem einstelligen Funktionssymbol ) folgendermaßen definiert.

  1. .
  2. .
  3. Für jeden Ausdruck von mit einer freien Variablen gilt