hat schon jemand was zu der aufgabe?

Nö. Es natürlichsprachlich aufzuschreiben, ist kein Problem und auch logisch. Aber ich weiß nicht wie man das formal beweisen kann. Hat jemand mal ein Schlagwort dazu?