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