Fehlerarten.md

@@ -29,10 +29,10 @@ gefunden werden.
 
 # Fehler im Zusammenhang mit struktureller Induktion
 ### Formale Fehler
-30. Es wird eine Induktion uber eine feste Variable geführt.
+30. Es wird eine Induktion über eine feste Variable geführt.
 31. Im Beweis wird eine Induktionsvariable gewählt, welche keine Konstruktoren hat.
 32. Ein Induktionsfall fehlt.
-33. Es liegt ein ungultiger / doppelter Induktionsfall vor.
+33. Es liegt ein ungültiger / doppelter Induktionsfall vor.
 34. Die Gleichung eines Induktionsfalls oder einer Induktionshypothese ist nicht korrekt.
 35. Eine Variable, die fest sein soll wird allquantifiziert.
 36. Induktionshypothese wird im Induktionsanfang angewandt.
@@ -41,7 +41,7 @@ gefunden werden.
 39. Bei vorgegebener Induktionsvariable wird eine Transformation als Beweis verwendet.
 ### Inhaltliche Fehler
 40. Eine Variable, die allquantifiziert sein soll, wird als fest angegeben.
-41. Die Angabe der Art des Induktionsfalls ist inkonsistent zur Wahl des Konstruktors
+41. Die Angabe der Art des Induktionsfalls ist inkonsistent zur Wahl des Konstruktors.
 ### Warnungen
 42. Es liegt eine doppelte Induktionshypothese vor.
 43. Die aufbauende Variable der Induktionshypothese wird in keinem Induktionsfall als solche eingesetzt.
\ No newline at end of file