Lí thuyết tập hợp và Lôgic - Đậu, Thế Cấp (Giáo dục, 2004)