I'm doing my undergraduate dissertation on axiomatic set theory, and i'm using Jean-Louis Krivine's book "Theorie des ensembles" as a reference book. My dissertation focuses only on the first two chapters " zermelo fraenkel set theory " and " cardinals and ordinals ". And i'm searhing for some references to help me write the introduction to my dissertation.
Any help would be much appreciated.
I hope i'm not violating any terms by asking here, i just don't have reputation points enough to reply to your answer there. There you gave your preffered list of axioms for zermelo fraenkel set theory which contained the axiom of regularity; but in Jean-Louis Krivine's book "Theorie des ensembles" he used the same set of axioms but excluding the axiom of regularity, so can we prove it from the other axioms?
– Matsukazi Issy Apr 08 '19 at 12:50