I was studying the book of Hartle on general relativity. In chapter 9, "The Geometry Outside a Spherical Star", he suddenly introduces a metric named Schwarzschild metric and then goes on describing the geometry it produces. I did not quite get how exactly this was a metric generated by a spherical start. There must be some methodology of arriving at this metric. In non-relativistic Newtonian limit, I know how to show $g_{00} = 1+2\phi/c^2$, but for general case, I did not find anything useful.
What is the systematic logical sequence behind this result?