metalogika
teoria i metodologia systemów dedukcyjnych, zajmująca się badaniem log. i mat. teorii sformalizowanych;
[gr. metá ‘poza’, logikḗ ‘sztuka rozumowania’],
metalogika
Encyklopedia PWN
należy do najbardziej rozwiniętych działów współcz. logiki; zakres jej badań pokrywa się w zasadzie z zakresem badań metamatematyki.
