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