 We now sketch the proof of the consistency of CH and of AC with ZFC, using modern terminology. Some preliminary concepts before sketching the proof: We first define the stratified set theoretic universe, denoted V. (V is also known as the cumulative hierarchy.) It is obtained by iteration of the power set operation (℘) beginning with the null set: