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