The existence of any other infinite set can be proved in Zermelo–Fraenkel set theory (ZFC) only by showing that it follows from the existence of the natural numbers.
Sự tồn tại của bất kỳ tập vô hạn nào khác có thể được chứng minh trong lý thuyết Zermelo-Fraenkel (ZFC) chỉ bằng cách chỉ ra rằng nó xuất phát từ sự tồn tại của các số tự nhiên.