metamatematika

metamatematika [-ty-], log . teorie zabývající se strukturou, vlastnostmi a metodologickými problémy mat. a deduktivních systémů; v Hilbertově programu formalizace syntakticky zal. teorie důkazu. V obecném smyslu metodologie deduktivních věd, někdy ztotožňována s metalogikou.