Ya simdi Peano aksiyomlari var cok guzel dogal sayilari tarif ediyolar bir de bir yandan bu ZFC aksiyomlari var.
Peano belitleri malumunuz sadece dogal sayilari tarif ediyor, zfc ise butun kumeleri.
Peano "belitleri", ZFC nin altinda belit olmaktan cikip teorem olmali diye dusunuyorum.
Yani bir yerde Peano teoremlerinin sadece ZFC aksyomlarina dayanarak ispati olmali.
Bunu nerede bulurum? (ben beceremedim cunku)
(Duzenleme :cok fazla aksyom demisim, bazilarini aksiyom digerlerini akisyom diye degistirmisim sonra, en son bazilarini belit bazilarini aksiyom yaptim )