V. The axiom of constructibility........................................................................... 32 11. The axiom of constructibility................................................................................. 32

IX. Independence of axioms of choico.............................................................. 59 18. Automorphisms of notions of forcing................................................................. 59 19. Independence of the local axiom of choico....................................................... 61 20. Independence of the global axiom of choico.................................................... 62