Das ist offensichtlich ein Spezialfalls des Axioms a + 0 = a für alle a ∈ K, oder was meinst Du? Was 1 ist, wird ja in den Koerperaxiomen erklaert. Insbesondere gilt 1 ∈ K. Die einzigen Groessen, deren Existenz in den Koerperaxiomen gefordert wird, sind 0 und 1. Bekanntlich gibt es auch einen Koerper, der aus sonst nichts mehr besteht.