A∩B は空集合で A∪B は整数全体からなる集合で, ∀x(∀y(((x∈A)∧(y∈B))⇒(x＜y))) が成り立つ集合の組 (A,B) は整数と一対一対応できる.

続きを読む