kümeler
-
Kümeler teorisindeki 10 aksiyomdan 2 si olan boş küme aksiyomu ve ayırım aksiyom şemasının basitçe tanımları.
-
Zermelo-Fraenkel kümeler teorisinde aksiyomlardan birisi olan genişleme aksiyomu kısaca şöyledir: Herhangi bir A ve B kümesi için A B’ye eşittir ancak ve ancak A ve B aynı elemanlara sahipse.
-
16. yüzyıldan beri varlığını sürdüren ve günümüzde hala tartışılan bir konu olan kümeler, matematiğin insanoğlu için hala bir gizemden ibaret olduğunu gösteren örneklerden birisidir. Matematiksel tanımının 19. yüzyılda yapılmasına rağmen genel anlamda kabul gören ZF(Zermelo-Fraenkel) aksiyom sistemi 1922 yılında kendine kullanım alanı bulmuştur. Fakat matematikte bazen ispatlanamayacak durumları ya da önermeleri kabullenme yapmamız gerekmektedir.
D.O.F.T. 