code keo nha cai hôm nay tốt nhất Có thể chứng minh nhiều định lý mà không cần cả tiên đề chọn lẫn phủ định của nó; những định lý đó sẽ đúng trong bất cứ mô hình nào của ZF, bất kể tính đúng sai của tiên đề chọn trong mô hình đó. Khi giới hạn trong ZF, một mệnh đề dựa trên tiên đề chọn hoặc phủ định của nó là không thể chứng minh được. Ví dụ, nghịch lý Banach–Tarski không thể được chứng minh là đúng hoặc sai chỉ trong ZF: không thể xây dựng một cách chia quả cầu đơn vị trong ZF, nhưng cũng không thể chứng minh là không có cách chia nào tồn tại. Những mệnh đề như nghịch lý Banach–Tarski có thể được phát biểu lại thành mệnh đề điều kiện, ví dụ như, Nếu tiên đề chọn là đúng, thì tồn tại cách chia quả cầu như trong nghịch lý Banach–Tarski. Những mệnh đề điều kiện như thể có thể được chứng minh trong ZF nếu mệnh đề gốc có thể được chứng minh trong ZFC. Enhance your purchase with Clyde protection
4 interest-free payments of $504.4352 with Klarna. Learn More
