Non-wellfounded set theory

Summary