元递归

探索理论本身的自指性质和超越的不可能性。