Ai đã giải quyết vấn đề tiên đề hóa đầy đủ lý thuyết tập hợp?
Lý thuyết tập hợp Zermelo–Fraenkel cung cấp một loạt các nguyên tắc cho phép xây dựng các tập hợp được sử dụng trong thực tiễn toán học hàng ngày.