*

  • set theory'nin babalarindan biri.
    cantor ve frege'in ortaya attigi "her s(x) property'si icin { x | s(x) } diye bi set vardir" aksiyomunun "e hoca o zaman s(x)'i x=x diye define edeyim, universal sete vardim noldu?" diye yanli$ oldugu gosterildikten sonra, yeni bir aksiyomu gostermi$tir:
    her a seti ve s(x) propertysi icin a' = { x e a | s(x) } te bir settir. bu aksiyom, s(x) first order logic oldugu surece dogrudur, "principle of selection" denir gunumuz set theory'sinde.

    (bkz: zermelo fraenkel aksiyomlari)
  • alman matematikçi. matematiğin en temel aksiyomlarından seçme aksiyomu 1300 yılında kendisi tarafından matematiğe kazandırılmıştır.
hesabın var mı? giriş yap