Khác biệt giữa bản sửa đổi của “Lý thuyết tập hợp Zermelo–Fraenkel”
Nội dung được xóa Nội dung được thêm vào
Không có tóm lược sửa đổi |
|||
Dòng 31:
=== 6. Tiên đề thay thế ===
Tiên đề này được sử dụng trong quy nạp siêu hạn với [[số thứ tự]].<ref>Hoàng Xuân Sính (1972), tr. 36</ref>
: <math>\forall A\forall w_1 \forall w_2\ldots \forall w_n \bigl[\forall x ( x\in A \Rightarrow \exists! y\,\phi ) \Rightarrow \exists B \ \forall x \bigl(x\in A \Rightarrow \exists y (y\in B \land \phi)\bigr)\bigr].</math>
Dòng 41:
=== 8. Tiên đề tập hợp các bộ phận ===
Tồn tại tập hợp các bộ phận, hay [[tập lũy thừa]]:<ref>Hoàng Xuân Sính (1972), tr. 35</ref>
: <math>\forall x \exists y \forall z [z \subseteq x \Rightarrow z \in y].</math>
| |||