Bir tane sonsuz elemanlı küme alırım adı $J$ olsun;
$\mathcal U =\{x \;|\; n\in\mathbb R \; \wedge \;x\in nJ\}$ olan bir $\mathcal U $ kümesi yaratırım ve ispatım bitti derim. $ \Box$
Basit ispatımda bir sıkıntı var mı? Ayrıca başka ispat şekilleri yapılabılır mı ve başka ispatlara gerek var mı?