▁have ▁adopted ▁Tar ski – G ro th end ieck ▁set ▁theory , ▁an ▁extension ▁of ▁Z FC , ▁so ▁that ▁proofs ▁involving ▁Gro th end ieck ▁univers es ▁( enc ounter ed ▁in ▁category ▁theory ▁and ▁algebraic ▁geometry ) ▁can ▁be ▁formal ized . ▁ ▁See ▁also ▁▁▁ ▁Found ations ▁of ▁mathematics ▁ ▁Inner ▁model ▁ ▁Lar ge ▁cardinal ▁ax iom ▁ ▁Rel ated ▁ax iom atic ▁set ▁theories : ▁▁ ▁Mor se – K elle y ▁set ▁theory ▁ ▁Von ▁Ne umann – B ern ays – G ö del ▁set ▁theory ▁ ▁Tar ski – G ro th end ieck ▁set ▁theory ▁ ▁Con struct ive ▁set ▁theory ▁ ▁In ternal ▁set ▁theory ▁ ▁Notes ▁ ▁References ▁▁▁▁▁▁▁▁▁▁▁▁▁▁▁ ▁. ▁▁ ▁Fra enk el ' s ▁final ▁word ▁on ▁Z F ▁and ▁Z FC . ▁▁▁▁▁▁▁▁▁▁▁▁▁▁▁▁ ▁▁▁▁▁ ▁Patrick ▁Supp es , ▁ 1 9 7 2 ▁( 1 9 6 0 ). ▁A xi om atic ▁Set ▁Theory . ▁D over ▁repr int . ▁Perhaps ▁the ▁best ▁ex position ▁of ▁Z FC ▁before ▁the ▁independence ▁of ▁AC ▁and ▁the ▁Cont inu um ▁hypothesis , ▁and ▁the ▁emer gence ▁of ▁large ▁card inals . ▁In cludes ▁many ▁the or ems . ▁ ▁G ais i ▁Take uti ▁and ▁Z aring , ▁W ▁M , ▁ 1 9 7 1 . ▁Introduction ▁to ▁A xi om atic ▁Set ▁Theory . ▁Springer - Verlag . ▁▁▁▁▁ ▁T iles , ▁Mary , ▁ 2 0 0 4 ▁( 1 9 8 9 ). ▁The ▁Philosoph