Nachfolgeabbildung (Peano Axiom)
1.
Axiom
Es existiert eine
Abbildung
ν
:
N
→
N
ν
:
N
→
N
:
n
↦
n
′
Date: nil
Author: Anton Zakrewski
Created: 2024-10-11 Fr 21:36