1. Математическая энциклопедия

Метаматематика

Совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории. В близком смысле термин "М." используется как синоним доказательств теории. А. Г. Драгалин.

Источник: Математическая энциклопедия на Gufo.me

Значения в других словарях

  1. метаматематика — Мета/матема́т/ик/а. Морфемно-орфографический словарь
  2. Метаматематика — Теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М. «математики». Большая советская энциклопедия
  3. метаматематика — орф. метаматематика, -и Орфографический словарь Лопатина