Peano-Halbring/Wohlordnungsprinzip/Fakt
Erscheinungsbild
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
In einem
Peano-Halbring
erfüllt
das Wohlordnungsprinzip für erststufige Ausdrücke. D.h. für jeden Ausdruck
in der freien Variablen
gilt