Tag Archives: Axiom of Foundation

Infinity and Foundation

After the reviving effect of a week’s holiday, I have been thinking about Zermelo–Fraenkel set theory, inspired by a very nice student project I supervised (about which I hope to say something here sometime soonish). I have come across a … Continue reading

Posted in exposition | Tagged , , , , , | 9 Comments