Lógica e matemática são duas disciplinas irmãs, porquea lógica é esta teoria muito geral de inferência e raciocínio, e a inferência e o raciocínio desempenham um papel muito importante na matemática, porque, como matemáticos, o que fazemos é provar teoremas e, para fazer isso, precisamos usar princípios lógicos e inferências lógicas.