n. 【数学】 超数学, 証明論《数学自身を対象とする数学の一部門》.