Изменения
Нет описания правки
3. <tex>\mid A \mid < \mid B \mid \Rightarrow \mathcal {9} x \in B \setminus A, A \cup \mathcal{f} x \mathcal {g} \in I</tex>
Пусть <tex>A = A_1 \cup A_2</tex>, <tex>B = B_1 \cup B_2</tex>. Тогда <tex>\mid A_1 \mid < \mid B_1 \mid</tex> или <tex>\mid A_2 \mid < \mid B_2 \mid</tex>. В первом случае из по третьей аксиомы аксиоме для <tex> I_1</tex>, <tex>\mathcal {9} x \in B_1 \setminus A_1, A_1 \cup \mathcal{f} x \mathcal {g} \in I_1 </tex>. Значит <tex> A_1 \cup \mathcal{f} x \mathcal {g} \cup A_2 \in I</tex>. Для второго случая аналогичноВторой случай аналогичен первому.
}}
