Философия, наука о величинах

Большая Советская Энциклопедия Значение слова в словаре Большая Советская Энциклопедия
теория доказательств, теория доказательства, в широком смысле слова ≈ метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М. «математики». Более ...

Википедия Значение слова в словаре Википедия
Метаматематика — раздел математической логики , изучаю­щий основания математики , структуру математических доказательств и математических теорий с помощью формальных методов . Термин «метаматематика» буквально означает «за пределами математики». В широком ...