Die Widerspruchsfreiheit der Stufenlogik