логічна теорія, яка вивчає закономірність якоїсь іншої теорії (напр., металогіка).