Metamatemática
 |
A metamatemática é um conceito formulado por Jacques Herbrand em 1930 e expandido por Tarski e Gödel.[1] 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.
Referências
[editar | editar código-fonte]- ↑ https://phys.org/news/2014-06-kurt-godel-statements-results-shook.amp "Kurt Gödel found ways to study such statements using the tools of modern logic, which made him one the founders of metamathematics" ("Kurt Gödel descobriu modos de estudar tais declarações usando instrumentos de lógica moderna, o que o fiz um dos fundadores da metamatemática")