metamathmatics メタ数学とも呼ばれる