[stiff]

The claimed paradox is that this proof contradicts Goedels result "if mathematics is consistent, then it cannot infer its own consistency.". This is not what the paper is about anyway, though.