Natürliche Arithmetik/Erlaubt Repräsentierungen/Fakt

Die natürliche Arithmetik, also die Menge der in ${}\mathbb {N}$ wahren Ausdrücke ${}\mathbb {N} ^{\vDash }$,

erlaubt Repräsentierungen.

Zum Beweis, Alternativen Beweis erstellen