metamatematika

Matematika

[Metamatematyka], logika, teorie zabývající se strukturou, vlastnostmi a metodologickými problémy matematických a deduktivních systémů, v Hilbertově programu formalizace syntakticky založené teorie důkazu. V obecném smyslu metodologie deduktivních věd, někdy ztotožňována s metalogikou.

Vytvořeno: 14. 3. 2000
Aktualizováno: 25. 7. 2007
Autor: -red-