ehrlich gesagt seh ich bei dir überhaupt nicht mehr durch. Bei posproof rechnest du mit zahl, zum schluß sthet noch zahl:=zahl+1 warum? wird nie gebraucht, unabhängig davon, ob du zahl lokal oder global deklarierst.
bei SetEditText rechnset du auch wieder mit der zahl
welche zahl hat denn label1.caption? und wenn du bei posproof schoin mit dem array a arbeitest, wo wird das schonmal angelegt? geh mal deinen code einzeln durch und setz dir haltepunkte und kontollier die werte.