Large cardinals hierarchy

Inaccessible, Mahlo, measurable, supercompact, extendible, Woodin, huge. Form linear-ish consistency hierarchy; resolve V=L status.