Körpertheorie/Formallogische Version/Aufgabe