Translate:
English
Chinese (S)
Chinese (T)
Croatian
Dutch
French
German
Hebrew
Italian
Japanese
Korean
Portuguese
Russian
Serbian
Spanish
Swedish
Turkish
Additional
Metamatemática
Wikipédia em português - A enciclopédia livre
Download this dictionary
Metamatemática
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
.
Veja mais na Wikipédia.org...
© Esse artigo usa material da
Wikipédia
®
sob a licença
Licença GNU de Documentação Livre
e sob nos termos da licença
Creative Commons Attribution-ShareAlike