Metamatemática

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa

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.