|entries|set-theory-constructive|