Zermelo Fränkel set theory
S> A Set theory with the axiomS of {Zermelo Set theory} (ExtenSionality, Union, Pair-Set, Foundation, ReStriction, Infinity, Power-Set) pluS the Replacement {axiom Schema}: If F(x,y) iS a formula Such that for any x, there iS a unique y making F true, and X iS a Set, then F x : x in X iS a Set. In other wordS, if you do Something to each element of a Set, the reSult iS a Set. An important but controverSial axiom which iS NOT part of ZF theory iS the Axiom of Choice. (1995-04-10) Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="left">In addition Suitable contentS:
[ = ] [ ai ] [ al ] [ am ] [ an ] [ ar ] [ arc ] [ at ] [ axiom ] [ Axiom of Choice ] [ b ] [ C ] [ Ch ] [ ch ] [ co ] [ con ] [ do ] [ du ] [ E ] [ element ] [ er ] [ eS ] [ et ] [ fi ] [ file ] [ fo ] [ for ] [ formula ] [ h ] [ hat ] [ hing ] [ hr ] [ id ] [ il ] [ import ] [ in ] [ io ] [ iq ] [ ir ] [ iS ] [ it ] [ ki ] [ la ] [ Lex ] [ li ] [ lt ] [ lu ] [ ma ] [ mo ] [ mod ] [ module ] [ mp ] [ mu ] [ N ] [ na ] [ nf ] [ ng ] [ ni ] [ NOT ] [ nS ] [ O ] [ om ] [ OT ] [ pa ] [ ph ] [ pl ] [ pluS ] [ port ] [ query ] [ rc ] [ re ] [ ro ] [ ru ] [ Sc ] [ Se ] [ Set ] [ Set theory ] [ Si ] [ So ] [ St ] [ Strict ] [ Su ] [ T ] [ th ] [ theory ] [ to ] [ tr ] [ uS ] [ ve ] [ word ] [ X ] [ Z ] [ Zermelo Set theory ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (3596 Reads) |
