Ist der Ausdruck der || einer Entscheidung ein
Satz, der sagt, daß ich mich so entscheide?
     Der bewiesene Satz als Ausdruck einer Entscheidung.