（命題） 任意の集合 S に対して， |S| < |P(S)|（証明） |S| ≤ |P(S)| であること |S| = |T| となる T ⊆ P(S) が存在することを示す． ここで T = { {x} | x ∈ S } を選べば，明らかに |S| = |T|． |S| ≠ |P(S)| であること 背理法を用いて示す． 一対一対…