∣ Wird mit dem Beweis der Widerspruchsfreiheit ein Satz bewiesen? Und wie lautet der?