Peano-Halbring/Nichtarchimedische Modelle/Existenz/Fakt