 We now give the idea of the proof of CH and AC in ZF + V = L. (For a detailed exposition of the proof, the reader is referred to the standard sources. See for example Devlin’s chapter on constructibility in Barwise 1977; see also Kunen 1983, and Jech 2003.)