Ahmet, "Boş küme her kümenin alt kümesidir" teoremini ispatlarken aşağıdaki akıl yürütmeyi yapmıştır:
"Boş kümenin herhangi bir kümenin alt kümesi olmadığını varsayalım. O zaman boş kümede öyle bir eleman bulunmalıdır ki bu eleman diğer kümede olmasın. Ancak boş kümede hiç eleman olmadığından bu mümkün değildir."
Ahmet'in kullandığı bu ispat yöntemi aşağıdakilerden hangisidir?
