"Márpedig ha ezekből ellentmondás következik, akkor nem csak az axiómákat kell elvetni, hanem az összes belőlük származtatott további állítást."

Csakhát NEM következik belőlük ellentmondás.

Ha valaki mégis ellentmondást vél látni, akkor a "Hiba az ő készülékében van." nevesül: nem ért semmit a specrel matematikai logikájából. (És adott esetben hibás gondolatkísérleteket talál ki az igazát bizonyítandó.)