Olmayana ergi (Çelişki) yöntemi ile ispat Test 1

"Sonlu bir kümenin alt kümelerinin sayısı $2^n$'dir" teoremini çelişki yöntemiyle ispatlarken, bu formülün yanlış olduğunu kabul ediyoruz. Bu durumda aşağıdakilerden hangisi doğrudur?

A) $n$ elemanlı bir kümenin alt küme sayısının $2^n$'den az olduğunu varsayarız
B) $n$ elemanlı bir kümenin alt küme sayısının $2^n$'den fazla olduğunu varsayarız
C) $n$ elemanlı bir kümenin alt küme sayısının $n^2$ olduğunu varsayarız
D) $n$ elemanlı bir kümenin hiç alt kümesi olmadığını varsayarız