Zum Inhalt springen

Peano-Halbring/Wohlordnungsprinzip/Fakt

Aus Wikiversity
Wohlordnungsprinzip für erststufige Aussagen

In einem Peano-Halbring erfüllt

das Wohlordnungsprinzip für erststufige Ausdrücke. D.h. für jeden Ausdruck in der freien Variablen gilt