METALOGIKA

teoria i metodologia systemów dedukcyjnych; ob. jeden z najbardziej rozwiniętych działów logiki; zajmuje się badaniem sformalizowanych teorii logicznych i matematycznych.