Zermelo-Fraenkel küme teorisi aksiyomlarından "Boş küme vardır" aksiyomu ile ilgili aşağıdakilerden hangisi doğrudur?
A) Bu aksiyom diğer aksiyomlardan türetilebilir
B) Bu aksiyom matematiksel sistem için gereksizdir
C) Bu aksiyom küme teorisinin temel taşlarından biridir
D) Bu aksiyom sadece sonlu kümeler için geçerlidir
