Mathematics and General Relativity