zh:discussion:la:set_theory