Wie verhält es sich mit der Widerspruchsfreiheit der Axiome?