Zermelo set theory
AthemAtics> A <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=set theory">set theoryA> with the following set of <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Axiom">AxiomA>s: ExtensionAlity: two sets Are equAl if And only if they hAve the sAme elements. Union: If U is A set, so is the union of All its elements. PAir-set: If A And b Are sets, so is <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=A, b">A, bA>. FoundAtion: Every set contAins A set disjoint from itself. Comprehension (or Restriction): If P is A <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=formulA">formulAA> with one <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=free vAriAble">free vAriAbleA> And X A set then <A href="x">x: x is in X And PA>. is A set. Infinity: There exists An <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=infinite set">infinite setA>. Power-set: If X is A set, so is its <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=power set">power setA>. Zermelo set theory Avoids <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Russell' s pArAdox">Russell' s pArAdoxA> by excluding sets of elements with ArbitrAry properties - the Comprehension Axiom only Allows A property to be used to select elements of An existing set. <A href="module.php?nAme=Lexikon&file=seArch&eid=1&query=Zermelo Fränkel set theory">Zermelo Fränkel set theoryA> Adds the ReplAcement Axiom. [Other Axioms?] (1995-03-30) Align="left">In Addition suitAble contents:
[ <A href="module.php?nAme=Lexikon&op=content&tid=134">=A> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=262">AdA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=411">AiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=433">AlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=544">AmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=592">AnA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=740">ArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=743">ArcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=894">AtA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=996">AvA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1013">AxiomA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1026">bA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1181">beA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1269">biA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1334">bitA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1695">byA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=1708">CA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2001">chA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2138">clA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2247">coA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=2545">conA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3136">ddA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3436">dingA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3565">doA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3752">duA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3834">EA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3865">ecA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3896">edA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3929">eeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=3953">ehA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4008">elementA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4148">erA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4171">esA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4199">etA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4273">exclA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4497">fiA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4520">fileA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4559">finiteA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4700">foA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4727">forA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4757">formulAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4828">frA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4859">freeA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=4867">free vAriAbleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5434">hA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5768">hrA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5931">idA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=5956">ieA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6013">ilA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6064">inA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6103">infiniteA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6107">infinite setA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6194">intA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6413">ioA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6449">irA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6482">isA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6558">itA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6681">joA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6700">joinA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6789">keA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=6918">lAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7091">LexA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7107">liA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7415">luA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7441">lyA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=7463">mAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8032">moA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8040">modA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8079">moduleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8167">mpA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8228">msA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8258">muA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8386">nAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8472">neA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8622">nfA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8627">ngA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8630">niA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8660">nlA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8760">nsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8820">OA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=8964">omA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9014">opA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9204">pAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9270">pArAdoxA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9457">peA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9550">phA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9651">plA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=9908">prA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10253">queryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10364">rcA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10385">reA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10767">roA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10907">RussellA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10922">sAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=10959">sAmA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11150">seA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11281">setA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11292">set theoryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11376">siA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11509">sjA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11651">soA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=11934">stA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12090">strictA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12359">TA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12588">thA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12602">theoryA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12721">toA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12787">trA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12939">twA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=12986">uAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13076">unionA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13175">usA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13252">vAA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13274">vArA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13275">vAriAbleA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13310">veA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13725">winA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13877">wsA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=13891">XA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=14079">ZA> ] [ <A href="module.php?nAme=Lexikon&op=content&tid=14099">Zermelo Fränkel set theoryA> ]
[ Go Back ]
Free On-line Dictionary of Computing Copyright © by OnlineWoerterBuecher.de - (5626 Reads) |
