This merge request separates out the formulations of the set theoretic axioms and their proofs in the fixed point model.