A consequence that destroys current mathematical practice constitutes a reductio ad absurdum of the ...