1. B := Ganze Zahlen n [-5,3] ≠ |B| = 9 ?
= ist verboten. Vielleicht so.
"==>" oder einfach eine neue Zeile anfangen.
B := Ganze Zahlen n [-5,3]
|B| = 9
9 stimmt. Bewiesen hast du das allerdings weder mit noch ohne Folgerungspfeil.
B := Ganze Zahlen n [-5,3] | Elemente von B aufzählen
B = { -5, -4, -3, .... 3} | hier kann man dann zählen (falls das bei eurer Mächtigkeitsdefinition erlaubt ist)
|B| = 9