This is why you can not use logic in mathematics.