Beispiel eines Axiomensystems: Peano-Axiome

• Eigenschaften des Datentyps CARDINAL

• Drei verschiedene Implementierungen:

• Zusätzliche Festlegungen:
  1. üblicher unendlicher Bereich

  2. 

  3. 

  4. 

• Wer nur mit (1) - (9) arbeitet, ist von der Implementierung unabhängig.