Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
113 kez görüntülendi
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  )
Lisans Matematik kategorisinde (1.6k puan) tarafından  | 113 kez görüntülendi
20,240 soru
21,759 cevap
73,402 yorum
2,071,800 kullanıcı