Метаматематика
1) раздел современной математики, в которой математическими и логическими методами решаются проблемы обоснования математических теорий: определение полноты их аксиоматики, непротиворечивость, доказательность, эффективность используемых методов, сфера применимости.