Mathematical introduction to general relativity.