Der Beweis reiht den Satz || ihn in
das System ein. Er ist freilich schon durch seine Wortform || durch seinen Wortausdruck auch eingereiht. Und in dieser doppelten Einreihung liegt das Problem.