- логика, используемая в рассуждениях о формальной аксиоматич. теории в рамках пек-рой метатеории. В основаниях математики к метатеории часто предъявляются специфич. требования, связанные с отказом от нек-рых употребительных математич. абстракций с целью повышения философской убедительности метатеории. Примерами таких подвергающихся критике абстракций являются абстракция актуальной бесконечности, абстракция отчуждения, ответственная за появление антиномий, и др. Это, как правило, приводит к тому, что в метатеории используется логика, отличная от классической, напр, модальная логика или интуиционистская логика, если метатеория строится в рамках интуиционизма.

С другой стороны, в доказательств теории интуиционистские и другие неклассические логич. теории часто исследуются и традиционными математич. средствами без всяких специфич. ограничений, напр, средствами теории множеств. В этом случае в роли М. выступает классич. логика.

А. Г. Драгалин.