Gödelova metrika