für die Formel
P(z())→((∀x : (P(x)→P(s(x))))→(∀x : P(x)))
markieren Sie für jeden Teilbaum, ob er Term oder Formel ist