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

теория доказательств, теория доказательства, в широком смысле слова — Метатеория математики, не предполагающая никаких специальных ограничений на характер используемых метатеоретических методов, на способ задания и объём исследуемой в М. «математики». Более распространённым и исторически ранним (тем более, что М. Вообще была первым примером «метанауки») является следующее, более специальное понимание термина «М.», идущее от Д. Гильберта. Открытие Парадоксов (антиномий (См. Антиномия)) в логике ..

(от греч. Meta, и лат. Albumen - белок). Вещество, находимое у страдающих водянкой.(Источник. "Словарь иностранных слов, вошедших в состав русского языка". Чудинов А.Н., 1910)от греч. Meta, и лат. Albumen, белок. Вещество, находимое у страждущих водянкой.(Источник. "Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней". Михельсон А.Д., 1865). ..

Вещество, получаемое от разложения маргарина серной кислотой.(Источник. "Словарь иностранных слов, вошедших в состав русского языка". Чудинов А.Н., 1910). ..

(греч., от meta, и matros - часть). Различные свойства тел, имеющих одинаковый состав.(Источник. "Словарь иностранных слов, вошедших в состав русского языка". Чудинов А.Н., 1910)греч., от meta, и metros, часть. Различные свойства тел, имеющих одинаковый состав.(Источник. "Объяснение 25000 иностранных слов, вошедших в употребление в русский язык, с означением их корней". Михельсон А.Д., 1865)различие в свойствах тел, имеющих одинаковый химический состав.(Источник. "Полный словарь иностранных слов..

Свойство тел претерпевать такие внутренние изменения, при которых химич. Состав тела остается неизменным, но свойства его (цвет, форма кристалла, твердость и др.) изменяются. Свойством этим обладают и изомерные тела (см.).(Источник. "Словарь иностранных слов, вошедших в состав русского языка". Павленков Ф., 1907). ..

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

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