Метатеория (Кузнецов, 2007)
МЕТАТЕОРИЯ - термин, введенный Д. Гильбертом для обозначения математической теории, которая предназначена для исследования другой математической теории в плане ее общих логических характеристик, таких, как полнота, независимость и непротиворечивость аксиом, разрешимость и т.п. В соответствии с гильбертовской (формалистской) программой обоснования математики, теории, не допускающие логической редукции к другим теориям, должны быть обоснованы в своей непротиворечивости непосредственно, а именно на основе некоторого метатеоретического рассуждения.