Metamatemática

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Nuvola apps important square.svg
Este artigo foi marcado como controverso devido às disputas sobre o seu conteúdo.
Por favor tente chegar a um consenso na página de discussão antes de fazer alterações ao artigo.

A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel. Cuida do esclarecimento rigoroso, através de recurso à própria matemática, de conceitos como o de axioma, regra de inferência e demonstração formal ou dedução, de completude e de interpolação.

Ícone de esboço Este artigo sobre matemática é um esboço. Você pode ajudar a Wikipédia expandindo-o.