" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

МЕТАМАТЕМАТИКА

Значение МЕТАМАТЕМАТИКА в математической энциклопедии:

- совокупность математич. теорий, используемых при изучении формальных теорий (исчислений). М., относящаяся к изучению данной формальной теории, составляет то, что наз. метатеорией формальной теории.

В близком смысле термин "М." используется как синоним доказательств теории.

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