Angenommen die Widerspruchsfreiheit ist bewiesen: was haben wir gewonnen?