The top documents tagged [formal set theory]