Non-wellfounded set theory