Conceito de Lógica Matemática

    Lógica Matemática é o uso da lógica formal para estudar o raciocínio matemático-- ou, como propõe Alonzo Church[1], 'lógica tratada pelo método matemático'. No início do século XX, lógicos e filósofos tentaram provar que a matemática, ou parte da matemática, poderia ser reduzida à lógica.(Gottlob Frege, p.ex., tentou reduzir a aritmética à lógica; Bertrand Russell e A. N. Whitehead, tentaram reduzir toda a matemática então conhecida à lógica -- a chamada 'lógica de segunda ordem'.)