310000₫
ae888 hause Tiên đề tính dựng được và giả thuyết continuum tổng quát đều bao hàm tiên đề chọn và vì vậy mạnh hơn nó. Trong những thuyết lớp như lý thuyết tập hợp von Neumann–Bernays–Gödel và lý thuyết tập hợp Morse–Kelley, tồn tại một tiên đề gọi là tiên đề chọn toàn cục, mạnh hơn tiên đề chọn cho tập hợp bởi nó cũng áp dụng cho các lớp chính quy. Tiên đề chọn toàn cục có thể được suy ra từ tiên đề giới hạn kích thước. Một tiên đề khác mạnh hơn tiên đề chọn là tiên đề Tarski, được dùng trong lý thuyết tập hợp Tarski–Grothendieck và phát biểu rằng mỗi tập hợp thuộc về một vũ trụ Grothendieck nào đó.
ae888 hause Tiên đề tính dựng được và giả thuyết continuum tổng quát đều bao hàm tiên đề chọn và vì vậy mạnh hơn nó. Trong những thuyết lớp như lý thuyết tập hợp von Neumann–Bernays–Gödel và lý thuyết tập hợp Morse–Kelley, tồn tại một tiên đề gọi là tiên đề chọn toàn cục, mạnh hơn tiên đề chọn cho tập hợp bởi nó cũng áp dụng cho các lớp chính quy. Tiên đề chọn toàn cục có thể được suy ra từ tiên đề giới hạn kích thước. Một tiên đề khác mạnh hơn tiên đề chọn là tiên đề Tarski, được dùng trong lý thuyết tập hợp Tarski–Grothendieck và phát biểu rằng mỗi tập hợp thuộc về một vũ trụ Grothendieck nào đó.
Một '''máy bay ném bom chiến thuật''' là một máy bay tương đối nhỏ được sử dụng trong khu vực chiến đấu để tấn công các đơn vị trang bị quân sự cho sự ném bom chiến thuật.