Natürliche Arithmetik/Erlaubt Repräsentierungen/Fakt

Die natürliche Arithmetik, also die Menge der in wahren Ausdrücke ,

erlaubt Repräsentierungen.