超数学

metamathmatics メタ数学とも呼ばれる