Start=arithmetische Repräsentierbarkeit (Abbildung)
Ziel=Arithmetisch repräsentierbar/N/Abbildung/Definition
