xsmn 10 9

Mô tả sản phẩm

xsmn 10 9 Ngày 22 tháng 11 năm 2005, một phần của giáo phận này được tách ra để thành lập Giáo phận Bà Rịa, nằm gọn trong tỉnh Bà Rịa – Vũng Tàu. Giám mục phụ tá Nguyễn Văn Trâm được chọn làm Giám mục Tiên khởi giáo phận tân lập Bà Rịa.

Không phải mọi trường hợp đều cần tiên đề chọn. Với những tập hữu hạn , tiên đề chọn có thể được suy ra từ những tiên đề tập hợp cơ bản khác. Khi ấy, một phát biểu tương đương có thể là nếu ta có một số (hữu hạn) hộp, mỗi hộp chứa ít nhất một vật, thì ta có thể chọn đúng một vật từ mỗi hộp. Ta có thể thực hiện việc chọn bằng cách bắt đầu với hộp thứ nhất, chọn một vật; sang hộp thứ hai, chọn một vật; và cứ thế. Do số hộp là hữu hạn nên quá trình chọn của ta sẽ kết thúc. Kết quả khi ấy là một hàm chọn cụ thể: ứng với mỗi hộp là một vật ta đã chọn (chứng minh chặt chẽ cho tất cả họ hữu hạn sẽ dùng quy nạp toán học để chứng minh với mỗi số tự nhiên , mọi họ gồm tập khác rỗng đều có một hàm chọn). Tuy nhiên, phương pháp này không thể áp dụng cho họ vô hạn đếm được các tập khác rỗng, khi ấy ta cần tiên đề chọn đếm được. Nếu dùng phương pháp này cho họ vô hạn các tập khác rỗng, ở mỗi bước ta chỉ có một hàm chọn cho một phần hữu hạn, chứ không thể tạo ra một hàm chọn cho toàn bộ họ, nếu không có quy tắc nào khác. Một hàm chọn tổng quát không thể được xây dựng trong ZF mà không có tiên đề chọn.