There is a logic of language and a logic of mathematics.