5883:
52:
36:
3542:
1357:
229:
1180:
964:
736:
663:
2300:
1241:
2378:
2149:
2071:
1993:
359:
1033:
479:
2883:
1087:
2207:
1778:
1700:
1419:
1862:
1616:
827:
2450:
2588:
901:
864:
784:
2522:
2486:
2414:
433:
2654:
2622:
392:
108:
210:
3130:
1828:
1802:
1460:
1093:
2801:
2752:
2720:
2550:
907:
1530:
1493:
2979:
3025:
3002:
2953:
2930:
3150:
3045:
2903:
2821:
2772:
2688:
669:
596:
4262:
292:
3279:
The set in which the complement is considered is thus implicitly mentioned in an absolute complement, and explicitly mentioned in a relative complement.
2216:
4937:
3999:
3331:
1191:
2306:
2077:
1999:
1921:
2826:
5020:
4161:
1562:
987:
437:
5334:
3079:
5907:
5492:
3364:
4280:
5347:
4670:
3688:
3508:
3190:
1878:
1044:
2156:
1706:
1628:
1379:
1837:
790:
5352:
5342:
5079:
4932:
4285:
4016:
2420:
4276:
2555:
5488:
3424:
3390:
4830:
5585:
5329:
4154:
870:
833:
4890:
4583:
3994:
4324:
3874:
277:, either because it has been previously specified, or it is obvious and unique, then the absolute complement of
5846:
5548:
5311:
5306:
5131:
4552:
4236:
747:
17:
2492:
2456:
2384:
5841:
5624:
5541:
5254:
5185:
5062:
4304:
3768:
3647:
2627:
2595:
5766:
5592:
5278:
4912:
4511:
4011:
5912:
5644:
5639:
5249:
4988:
4917:
4246:
4147:
4004:
3642:
3605:
397:
5573:
5163:
4557:
4525:
4216:
3112:
is available in the amssymb package, but this symbol is not included separately in
Unicode. The symbol
3659:
370:
86:
5863:
5812:
5709:
5207:
5168:
4645:
4290:
3693:
3585:
3573:
3568:
3184:
4319:
3329:
1175:{\displaystyle (A\setminus B)^{\complement }=A^{\complement }\cup B=A^{\complement }\cup (B\cap A).}
5704:
5634:
5173:
5025:
5008:
4731:
4211:
3501:
3104:, except that it has a little more space in front and behind the slash, akin to the LaTeX sequence
3051:
3047:
then corresponds to switching all 1s to 0s, and 0s to 1s for the logical matrix of the complement.
978:
959:{\displaystyle {\text{If }}A\subseteq B{\text{, then }}B^{\complement }\subseteq A^{\complement }.}
186:
3115:
1811:
1785:
1439:
5536:
5513:
5474:
5360:
5301:
4947:
4867:
4711:
4268:
4113:
4031:
3906:
3858:
3595:
3063:
2777:
2728:
2696:
2529:
5826:
5553:
5531:
5498:
5391:
5237:
5222:
5195:
5146:
5030:
4965:
4790:
4756:
4751:
4625:
4456:
4433:
4065:
3946:
3758:
3578:
1910:
548:
506:
3256:
2209:
demonstrating that intersection can be expressed using only the relative complement operation.
5756:
5609:
5401:
5119:
4855:
4761:
4620:
4605:
4486:
4461:
3981:
3951:
3895:
3815:
3795:
3773:
3067:
521:
133:
129:
118:
3229:
5729:
5691:
5568:
5372:
5212:
5136:
5114:
4942:
4900:
4799:
4766:
4630:
4418:
4329:
4055:
4045:
3879:
3810:
3763:
3703:
3590:
3202:
3434:
3400:
1506:
1469:
731:{\displaystyle \left(A\cap B\right)^{\complement }=A^{\complement }\cup B^{\complement }.}
658:{\displaystyle \left(A\cup B\right)^{\complement }=A^{\complement }\cap B^{\complement }.}
8:
5858:
5749:
5734:
5714:
5671:
5558:
5508:
5434:
5379:
5316:
5109:
5104:
5052:
4820:
4809:
4481:
4381:
4309:
4300:
4296:
4231:
4226:
4050:
3961:
3869:
3864:
3678:
3620:
3558:
3494:
2958:
1500:
587:
3007:
2984:
2935:
2912:
5887:
5656:
5619:
5604:
5597:
5580:
5384:
5366:
5232:
5158:
5141:
5094:
4907:
4816:
4650:
4635:
4595:
4547:
4532:
4520:
4476:
4451:
4221:
4170:
3973:
3968:
3753:
3708:
3615:
3208:
3135:
3030:
2888:
2806:
2757:
2673:
1496:
1275:
533:
514:
4840:
5882:
5822:
5629:
5439:
5429:
5321:
5202:
5037:
5013:
4794:
4778:
4683:
4660:
4537:
4506:
4471:
4366:
4201:
3830:
3667:
3630:
3600:
3531:
3469:
3450:
3420:
3413:
3386:
3360:
3055:
1865:
77:
517:
to 1 or 2 modulo 3 (or, in simpler terms, the integers that are not multiples of 3).
273:
be a set that contains all the elements under study; if there is no need to mention
5836:
5831:
5724:
5681:
5503:
5464:
5459:
5444:
5270:
5227:
5124:
4922:
4872:
4446:
4408:
4118:
4108:
4093:
4088:
3956:
3610:
3472:
3430:
3396:
3352:
3196:
5817:
5807:
5761:
5744:
5699:
5661:
5563:
5483:
5290:
5217:
5190:
5178:
5084:
4998:
4972:
4927:
4895:
4696:
4498:
4441:
4391:
4356:
4314:
3987:
3925:
3743:
3563:
3382:
3335:
3178:
3059:
2691:
2668:
1882:
1831:
584:. The following identities capture important properties of absolute complements:
3453:
5802:
5781:
5739:
5719:
5614:
5469:
5067:
5057:
5047:
5042:
4976:
4850:
4726:
4615:
4610:
4588:
4189:
4123:
3920:
3901:
3805:
3790:
3747:
3683:
3625:
2906:
2295:{\displaystyle (B\setminus A)\cap C=(B\cap C)\setminus A=B\cap (C\setminus A).}
969:
555:, the absolute complement of a set is generally not itself a set, but rather a
5901:
5776:
5454:
4961:
4746:
4736:
4706:
4691:
4361:
4128:
3930:
3844:
3839:
3092:
is usually used for rendering a set difference symbol, which is similar to a
1253:
560:
4098:
3419:. The University Series in Undergraduate Mathematics. van Nostrand Company.
5676:
5523:
5424:
5416:
5296:
5244:
5153:
5089:
5072:
5003:
4862:
4721:
4423:
4206:
4078:
4073:
3891:
3820:
3778:
3637:
3541:
3374:
556:
1463:
5786:
5666:
4845:
4835:
4782:
4466:
4386:
4371:
4251:
4196:
4103:
3738:
3408:
1805:
1236:{\displaystyle A^{\complement }\setminus B^{\complement }=B\setminus A.}
540:
is the union of the suits of clubs and diamonds, then the complement of
4716:
4571:
4542:
4348:
4083:
3854:
3517:
2373:{\displaystyle (B\setminus A)\cup C=(B\cup C)\setminus (A\setminus C).}
2144:{\displaystyle C\setminus (B\setminus A)=(C\cap A)\cup (C\setminus B),}
2066:{\displaystyle C\setminus (A\cup B)=(C\setminus A)\cap (C\setminus B).}
1988:{\displaystyle C\setminus (A\cap B)=(C\setminus A)\cup (C\setminus B).}
552:
69:
1356:
269:(within a larger set that is implicitly defined). In other words, let
5868:
5771:
4824:
4741:
4701:
4665:
4601:
4413:
4403:
4376:
4139:
3886:
3849:
3800:
3698:
3477:
3458:
3093:
5853:
5651:
5099:
4804:
4398:
354:{\displaystyle A^{\complement }=U\setminus A=\{x\in U:x\notin A\}.}
3323:
3257:"Complement (set) Definition (Illustrated Mathematics Dictionary)"
1495:
but this notation is ambiguous, as in some contexts (for example,
5449:
4241:
490:
3911:
3733:
1028:{\displaystyle \left(A^{\complement }\right)^{\complement }=A.}
474:{\displaystyle \complement _{U}A,{\text{ and }}\complement A.}
132:, i.e. all elements under consideration, are considered to be
4993:
4339:
4184:
3783:
3550:
3486:
3085:
968:(this follows from the equivalence of a conditional with its
1038:
Relationships between relative and absolute complements:
228:
51:
35:
536:
of the suits of clubs, diamonds, and hearts. If the set
3467:
2878:{\displaystyle {\bar {R}}\ =\ (X\times Y)\setminus R.}
3138:
3118:
3033:
3010:
2987:
2961:
2938:
2915:
2891:
2829:
2809:
2780:
2760:
2731:
2699:
2676:
2630:
2598:
2558:
2532:
2495:
2459:
2423:
2387:
2309:
2219:
2159:
2080:
2002:
1924:
1840:
1814:
1788:
1709:
1631:
1565:
1509:
1472:
1442:
1382:
1194:
1096:
1047:
990:
910:
873:
836:
793:
750:
672:
599:
440:
400:
373:
295:
189:
89:
1913:
capture notable properties of relative complements:
1082:{\displaystyle A\setminus B=A\cap B^{\complement }.}
3448:
3181: â Identities and relationships involving sets
2202:{\displaystyle C\setminus (C\setminus A)=(C\cap A)}
1773:{\displaystyle \{2,3,4\}\setminus \{1,2,3\}=\{4\}.}
1695:{\displaystyle \{1,2,3\}\setminus \{2,3,4\}=\{1\}.}
1503:) it can be interpreted as the set of all elements
1414:{\displaystyle B\cap A^{\complement }=B\setminus A}
3412:
3187: â Set of elements common to all of some sets
3144:
3124:
3039:
3019:
2996:
2973:
2947:
2924:
2897:
2877:
2815:
2795:
2766:
2746:
2714:
2682:
2648:
2616:
2582:
2544:
2516:
2480:
2444:
2408:
2372:
2294:
2201:
2143:
2065:
1987:
1857:{\displaystyle \mathbb {R} \setminus \mathbb {Q} }
1856:
1822:
1796:
1772:
1694:
1611:{\displaystyle B\setminus A=\{x\in B:x\notin A\}.}
1610:
1524:
1487:
1454:
1413:
1235:
1174:
1081:
1027:
958:
895:
858:
822:{\displaystyle A\cap A^{\complement }=\emptyset .}
821:
778:
730:
657:
497:is the set of odd numbers, then the complement of
473:
427:
386:
353:
204:
102:
2445:{\displaystyle \emptyset \setminus A=\emptyset .}
1246:The first two complement laws above show that if
5899:
2583:{\displaystyle C\setminus A\supset C\setminus B}
544:is the union of the suits of hearts and spades.
528:is the suit of spades, then the complement of
4155:
3502:
3301:
3299:
3297:
1764:
1758:
1752:
1734:
1728:
1710:
1686:
1680:
1674:
1656:
1650:
1632:
1602:
1578:
896:{\displaystyle U^{\complement }=\emptyset .}
859:{\displaystyle \emptyset ^{\complement }=U.}
345:
321:
3211: â Set of elements in any of some sets
3205: â Elements in exactly one of two sets
3193: â Equalities for combinations of sets
4347:
4162:
4148:
3509:
3495:
3294:
2662:
1850:
1842:
1816:
1790:
779:{\displaystyle A\cup A^{\complement }=U.}
27:Set of the elements not in a given subset
3351:
3288:
3156:. (It corresponds to the Unicode symbol
3027:Producing the complementary relation to
2517:{\displaystyle A\setminus U=\emptyset .}
2481:{\displaystyle A\setminus \emptyset =A.}
2409:{\displaystyle A\setminus A=\emptyset .}
1355:
227:
3379:Fundamentals of contemporary set theory
3080:List of mathematical symbols by subject
2909:with rows representing the elements of
2649:{\displaystyle C\supseteq B\setminus A}
2617:{\displaystyle A\supseteq B\setminus C}
489:Assume that the universe is the set of
14:
5900:
4169:
3407:
3373:
3317:
3305:
1287:
223:
45:is the area colored red in this imageâŠ
4143:
3490:
3468:
3449:
3251:
3249:
3191:List of set identities and relations
1879:List of set identities and relations
1185:Relationship with a set difference:
3338:The Comprehensive LaTeX Symbol List
428:{\displaystyle {\overline {A}},A',}
236:of the white disc is the red region
24:
3282:
3088:typesetting language, the command
3058:, complementary relations and the
2508:
2466:
2436:
2424:
2400:
887:
838:
813:
25:
5924:
3442:
3246:
3073:
2866:
2640:
2608:
2574:
2562:
2499:
2463:
2427:
2391:
2358:
2349:
2316:
2280:
2259:
2226:
2172:
2163:
2129:
2093:
2084:
2051:
2033:
2006:
1973:
1955:
1928:
1846:
1731:
1653:
1569:
1446:
1405:
1224:
1205:
1103:
1051:
312:
193:
5881:
3540:
2153:with the important special case
520:Assume that the universe is the
387:{\displaystyle A^{\complement }}
265:) is the set of elements not in
103:{\displaystyle A^{\complement }}
50:
34:
3230:"Complement and Set Difference"
1872:
1292:
501:is the set of even numbers. If
3516:
3311:
3273:
3222:
2863:
2851:
2836:
2738:
2364:
2352:
2346:
2334:
2322:
2310:
2286:
2274:
2256:
2244:
2232:
2220:
2196:
2184:
2178:
2166:
2135:
2123:
2117:
2105:
2099:
2087:
2057:
2045:
2039:
2027:
2021:
2009:
1979:
1967:
1961:
1949:
1943:
1931:
1166:
1154:
1110:
1097:
281:is the relative complement of
13:
1:
5842:History of mathematical logic
3359:(in French). Paris: Hermann.
3345:
3199: â Informal set theories
1620:
567:
509:of 3, then the complement of
240:
205:{\displaystyle B\setminus A,}
5908:Basic concepts in set theory
5767:Primitive recursive function
3125:{\displaystyle \complement }
2690:is defined as a subset of a
1905:be three sets in a universe
1823:{\displaystyle \mathbb {Q} }
1797:{\displaystyle \mathbb {R} }
1455:{\displaystyle B\setminus A}
1341:, is the set of elements in
406:
7:
3172:
3100:command looks identical to
3096:symbol. When rendered, the
2803:The complement of relation
1424:The relative complement of
483:
363:The absolute complement of
10:
5929:
4831:SchröderâBernstein theorem
4558:Monadic predicate calculus
4217:Foundations of mathematics
4000:von NeumannâBernaysâGödel
3077:
2796:{\displaystyle X\times Y.}
2747:{\displaystyle {\bar {R}}}
2715:{\displaystyle X\times Y.}
2545:{\displaystyle A\subset B}
1876:
1466:. It is sometimes written
981:or double complement law:
580:be two sets in a universe
394:. Other notations include
212:is the set of elements in
148:is the set of elements in
5877:
5864:Philosophy of mathematics
5813:Automated theorem proving
5795:
5690:
5522:
5415:
5267:
4984:
4960:
4938:Von NeumannâBernaysâGödel
4883:
4777:
4681:
4579:
4570:
4497:
4432:
4338:
4260:
4177:
4064:
4027:
3939:
3829:
3801:One-to-one correspondence
3717:
3658:
3549:
3538:
3524:
3185:Intersection (set theory)
2754:is the set complement of
547:When the universe is the
128:When all elements in the
57:⊠then the complement of
3215:
3052:composition of relations
2981:corresponds to 1 in row
2932:and columns elements of
1497:Minkowski set operations
551:described in formalized
5514:Self-verifying theories
5335:Tarski's axiomatization
4286:Tarski's undefinability
4281:incompleteness theorems
5888:Mathematics portal
5499:Proof of impossibility
5147:propositional variable
4457:Propositional calculus
3759:Constructible universe
3586:Constructibility (V=L)
3146:
3126:
3041:
3021:
2998:
2975:
2949:
2926:
2899:
2879:
2817:
2797:
2768:
2748:
2724:complementary relation
2716:
2684:
2663:Complementary relation
2650:
2618:
2584:
2546:
2518:
2482:
2446:
2410:
2374:
2296:
2203:
2145:
2067:
1989:
1858:
1824:
1798:
1774:
1696:
1612:
1526:
1489:
1456:
1421:
1415:
1237:
1176:
1083:
1029:
960:
897:
860:
823:
780:
732:
659:
559:. For more info, see
513:is the set of numbers
475:
429:
388:
367:is usually denoted by
355:
237:
206:
167:with respect to a set
104:
5757:Kolmogorov complexity
5710:Computably enumerable
5610:Model complete theory
5402:Principia Mathematica
4462:Propositional formula
4291:BanachâTarski paradox
3982:Principia Mathematica
3816:Transfinite induction
3675:(i.e. set difference)
3357:Théorie des ensembles
3147:
3127:
3068:calculus of relations
3042:
3022:
2999:
2976:
2950:
2927:
2905:is often viewed as a
2900:
2880:
2818:
2798:
2769:
2749:
2717:
2685:
2651:
2619:
2585:
2547:
2519:
2483:
2447:
2411:
2375:
2297:
2204:
2146:
2068:
1990:
1859:
1825:
1799:
1775:
1697:
1613:
1527:
1490:
1457:
1416:
1359:
1238:
1177:
1084:
1030:
961:
898:
861:
824:
781:
733:
660:
522:standard 52-card deck
476:
430:
389:
356:
231:
207:
105:
5705:ChurchâTuring thesis
5692:Computability theory
4901:continuum hypothesis
4419:Square of opposition
4277:Gödel's completeness
4056:Burali-Forti paradox
3811:Set-builder notation
3764:Continuum hypothesis
3704:Symmetric difference
3203:Symmetric difference
3136:
3116:
3106:\mathbin{\backslash}
3031:
3008:
2985:
2959:
2936:
2913:
2889:
2827:
2807:
2778:
2758:
2729:
2697:
2674:
2628:
2596:
2556:
2530:
2493:
2457:
2421:
2385:
2307:
2217:
2157:
2078:
2000:
1922:
1838:
1812:
1786:
1707:
1629:
1563:
1525:{\displaystyle b-a,}
1507:
1488:{\displaystyle B-A,}
1470:
1440:
1380:
1192:
1094:
1045:
988:
908:
871:
834:
791:
748:
670:
597:
438:
398:
371:
293:
187:
87:
5859:Mathematical object
5750:P versus NP problem
5715:Computable function
5509:Reverse mathematics
5435:Logical consequence
5312:primitive recursive
5307:elementary function
5080:Free/bound variable
4933:TarskiâGrothendieck
4452:Logical connectives
4382:Logical equivalence
4232:Logical consequence
4017:TarskiâGrothendieck
3062:are the elementary
2974:{\displaystyle aRb}
1501:functional analysis
1362:relative complement
1311:relative complement
1309:are sets, then the
1288:Relative complement
251:absolute complement
249:is a set, then the
234:absolute complement
224:Absolute complement
161:relative complement
142:absolute complement
83:, often denoted by
61:is everything else.
5913:Operations on sets
5657:Transfer principle
5620:Semantics of logic
5605:Categorical theory
5581:Non-standard model
5095:Logical connective
4222:Information theory
4171:Mathematical logic
3606:Limitation of size
3470:Weisstein, Eric W.
3451:Weisstein, Eric W.
3334:2022-03-05 at the
3261:www.mathsisfun.com
3209:Union (set theory)
3142:
3122:
3056:converse relations
3037:
3020:{\displaystyle b.}
3017:
2997:{\displaystyle a,}
2994:
2971:
2948:{\displaystyle Y.}
2945:
2925:{\displaystyle X,}
2922:
2895:
2875:
2813:
2793:
2764:
2744:
2712:
2680:
2646:
2614:
2580:
2542:
2514:
2478:
2442:
2406:
2370:
2292:
2199:
2141:
2063:
1985:
1866:irrational numbers
1854:
1820:
1794:
1770:
1692:
1608:
1522:
1485:
1464:ISO 31-11 standard
1452:
1422:
1411:
1325:, also termed the
1233:
1172:
1079:
1025:
956:
893:
856:
819:
776:
728:
655:
471:
425:
384:
351:
238:
202:
171:, also termed the
100:
5895:
5894:
5827:Abstract category
5630:Theories of truth
5440:Rule of inference
5430:Natural deduction
5411:
5410:
4956:
4955:
4661:Cartesian product
4566:
4565:
4472:Many-valued logic
4447:Boolean functions
4330:Russell's paradox
4305:diagonal argument
4202:First-order logic
4137:
4136:
4046:Russell's paradox
3995:ZermeloâFraenkel
3896:Dedekind-infinite
3769:Diagonal argument
3668:Cartesian product
3532:Set (mathematics)
3366:978-3-540-34034-8
3291:, p. E II.6.
3152:) is produced by
3145:{\displaystyle C}
3040:{\displaystyle R}
2898:{\displaystyle R}
2850:
2844:
2839:
2816:{\displaystyle R}
2767:{\displaystyle R}
2741:
2683:{\displaystyle R}
2624:is equivalent to
1462:according to the
928:
914:
741:Complement laws:
460:
409:
117:), is the set of
16:(Redirected from
5920:
5886:
5885:
5837:History of logic
5832:Category of sets
5725:Decision problem
5504:Ordinal analysis
5445:Sequent calculus
5343:Boolean algebras
5283:
5282:
5257:
5228:logical/constant
4982:
4981:
4968:
4891:ZermeloâFraenkel
4642:Set operations:
4577:
4576:
4514:
4345:
4344:
4325:LöwenheimâSkolem
4212:Formal semantics
4164:
4157:
4150:
4141:
4140:
4119:Bertrand Russell
4109:John von Neumann
4094:Abraham Fraenkel
4089:Richard Dedekind
4051:Suslin's problem
3962:Cantor's theorem
3679:De Morgan's laws
3544:
3511:
3504:
3497:
3488:
3487:
3483:
3482:
3473:"Complement Set"
3464:
3463:
3438:
3418:
3415:Naive set theory
3404:
3381:. Universitext.
3375:Devlin, Keith J.
3370:
3339:
3327:
3321:
3315:
3309:
3303:
3292:
3286:
3280:
3277:
3271:
3270:
3268:
3267:
3253:
3244:
3243:
3241:
3240:
3226:
3197:Naive set theory
3168:
3165:
3162:
3160:
3155:
3151:
3149:
3148:
3143:
3131:
3129:
3128:
3123:
3111:
3107:
3103:
3099:
3091:
3046:
3044:
3043:
3038:
3026:
3024:
3023:
3018:
3003:
3001:
3000:
2995:
2980:
2978:
2977:
2972:
2954:
2952:
2951:
2946:
2931:
2929:
2928:
2923:
2904:
2902:
2901:
2896:
2884:
2882:
2881:
2876:
2848:
2842:
2841:
2840:
2832:
2822:
2820:
2819:
2814:
2802:
2800:
2799:
2794:
2773:
2771:
2770:
2765:
2753:
2751:
2750:
2745:
2743:
2742:
2734:
2721:
2719:
2718:
2713:
2689:
2687:
2686:
2681:
2655:
2653:
2652:
2647:
2623:
2621:
2620:
2615:
2589:
2587:
2586:
2581:
2551:
2549:
2548:
2543:
2523:
2521:
2520:
2515:
2487:
2485:
2484:
2479:
2451:
2449:
2448:
2443:
2415:
2413:
2412:
2407:
2379:
2377:
2376:
2371:
2301:
2299:
2298:
2293:
2208:
2206:
2205:
2200:
2150:
2148:
2147:
2142:
2072:
2070:
2069:
2064:
1994:
1992:
1991:
1986:
1909:. The following
1908:
1904:
1898:
1892:
1863:
1861:
1860:
1855:
1853:
1845:
1832:rational numbers
1829:
1827:
1826:
1821:
1819:
1803:
1801:
1800:
1795:
1793:
1779:
1777:
1776:
1771:
1701:
1699:
1698:
1693:
1617:
1615:
1614:
1609:
1555:
1549:
1543:
1537:
1531:
1529:
1528:
1523:
1494:
1492:
1491:
1486:
1461:
1459:
1458:
1453:
1435:
1429:
1420:
1418:
1417:
1412:
1398:
1397:
1375:
1369:
1352:
1346:
1340:
1334:
1324:
1318:
1308:
1302:
1283:
1273:
1261:
1252:is a non-empty,
1251:
1242:
1240:
1239:
1234:
1217:
1216:
1204:
1203:
1181:
1179:
1178:
1173:
1150:
1149:
1131:
1130:
1118:
1117:
1088:
1086:
1085:
1080:
1075:
1074:
1034:
1032:
1031:
1026:
1015:
1014:
1009:
1005:
1004:
965:
963:
962:
957:
952:
951:
939:
938:
929:
926:
915:
912:
902:
900:
899:
894:
883:
882:
865:
863:
862:
857:
846:
845:
828:
826:
825:
820:
809:
808:
785:
783:
782:
777:
766:
765:
737:
735:
734:
729:
724:
723:
711:
710:
698:
697:
692:
688:
664:
662:
661:
656:
651:
650:
638:
637:
625:
624:
619:
615:
588:De Morgan's laws
583:
579:
575:
549:universe of sets
543:
539:
531:
527:
512:
504:
500:
496:
480:
478:
477:
472:
461:
458:
450:
449:
434:
432:
431:
426:
421:
410:
402:
393:
391:
390:
385:
383:
382:
366:
360:
358:
357:
352:
305:
304:
288:
284:
280:
276:
272:
268:
264:
256:
248:
219:
216:that are not in
215:
211:
209:
208:
203:
182:
178:
170:
166:
155:
152:that are not in
151:
147:
139:
124:
116:
109:
107:
106:
101:
99:
98:
82:
60:
54:
44:
38:
21:
5928:
5927:
5923:
5922:
5921:
5919:
5918:
5917:
5898:
5897:
5896:
5891:
5880:
5873:
5818:Category theory
5808:Algebraic logic
5791:
5762:Lambda calculus
5700:Church encoding
5686:
5662:Truth predicate
5518:
5484:Complete theory
5407:
5276:
5272:
5268:
5263:
5255:
4975: and
4971:
4966:
4952:
4928:New Foundations
4896:axiom of choice
4879:
4841:Gödel numbering
4781: and
4773:
4677:
4562:
4512:
4493:
4442:Boolean algebra
4428:
4392:Equiconsistency
4357:Classical logic
4334:
4315:Halting problem
4303: and
4279: and
4267: and
4266:
4261:Theorems (
4256:
4173:
4168:
4138:
4133:
4060:
4039:
4023:
3988:New Foundations
3935:
3825:
3744:Cardinal number
3727:
3713:
3654:
3545:
3536:
3520:
3515:
3445:
3427:
3409:Halmos, Paul R.
3393:
3367:
3348:
3343:
3342:
3336:Wayback Machine
3328:
3324:
3316:
3312:
3304:
3295:
3287:
3283:
3278:
3274:
3265:
3263:
3255:
3254:
3247:
3238:
3236:
3234:web.mnstate.edu
3228:
3227:
3223:
3218:
3179:Algebra of sets
3175:
3166:
3163:
3158:
3157:
3153:
3137:
3134:
3133:
3132:(as opposed to
3117:
3114:
3113:
3109:
3105:
3101:
3097:
3089:
3082:
3076:
3060:algebra of sets
3032:
3029:
3028:
3009:
3006:
3005:
2986:
2983:
2982:
2960:
2957:
2956:
2937:
2934:
2933:
2914:
2911:
2910:
2890:
2887:
2886:
2831:
2830:
2828:
2825:
2824:
2823:can be written
2808:
2805:
2804:
2779:
2776:
2775:
2759:
2756:
2755:
2733:
2732:
2730:
2727:
2726:
2698:
2695:
2694:
2692:product of sets
2675:
2672:
2671:
2669:binary relation
2665:
2629:
2626:
2625:
2597:
2594:
2593:
2557:
2554:
2553:
2531:
2528:
2527:
2494:
2491:
2490:
2458:
2455:
2454:
2422:
2419:
2418:
2386:
2383:
2382:
2308:
2305:
2304:
2218:
2215:
2214:
2158:
2155:
2154:
2079:
2076:
2075:
2001:
1998:
1997:
1923:
1920:
1919:
1906:
1900:
1894:
1888:
1885:
1883:Algebra of sets
1875:
1849:
1841:
1839:
1836:
1835:
1815:
1813:
1810:
1809:
1789:
1787:
1784:
1783:
1708:
1705:
1704:
1630:
1627:
1626:
1623:
1564:
1561:
1560:
1551:
1545:
1539:
1533:
1508:
1505:
1504:
1471:
1468:
1467:
1441:
1438:
1437:
1431:
1425:
1393:
1389:
1381:
1378:
1377:
1371:
1365:
1348:
1342:
1336:
1330:
1320:
1314:
1304:
1298:
1295:
1290:
1279:
1263:
1257:
1247:
1212:
1208:
1199:
1195:
1193:
1190:
1189:
1145:
1141:
1126:
1122:
1113:
1109:
1095:
1092:
1091:
1070:
1066:
1046:
1043:
1042:
1010:
1000:
996:
992:
991:
989:
986:
985:
947:
943:
934:
930:
925:
911:
909:
906:
905:
878:
874:
872:
869:
868:
841:
837:
835:
832:
831:
804:
800:
792:
789:
788:
761:
757:
749:
746:
745:
719:
715:
706:
702:
693:
678:
674:
673:
671:
668:
667:
646:
642:
633:
629:
620:
605:
601:
600:
598:
595:
594:
581:
577:
573:
570:
541:
537:
529:
525:
510:
502:
498:
494:
486:
459: and
457:
445:
441:
439:
436:
435:
414:
401:
399:
396:
395:
378:
374:
372:
369:
368:
364:
300:
296:
294:
291:
290:
286:
282:
278:
274:
270:
266:
262:
257:(or simply the
254:
246:
243:
226:
217:
213:
188:
185:
184:
180:
176:
168:
164:
153:
149:
145:
137:
136:of a given set
122:
111:
94:
90:
88:
85:
84:
80:
66:
65:
64:
63:
62:
58:
55:
47:
46:
42:
39:
28:
23:
22:
15:
12:
11:
5:
5926:
5916:
5915:
5910:
5893:
5892:
5878:
5875:
5874:
5872:
5871:
5866:
5861:
5856:
5851:
5850:
5849:
5839:
5834:
5829:
5820:
5815:
5810:
5805:
5803:Abstract logic
5799:
5797:
5793:
5792:
5790:
5789:
5784:
5782:Turing machine
5779:
5774:
5769:
5764:
5759:
5754:
5753:
5752:
5747:
5742:
5737:
5732:
5722:
5720:Computable set
5717:
5712:
5707:
5702:
5696:
5694:
5688:
5687:
5685:
5684:
5679:
5674:
5669:
5664:
5659:
5654:
5649:
5648:
5647:
5642:
5637:
5627:
5622:
5617:
5615:Satisfiability
5612:
5607:
5602:
5601:
5600:
5590:
5589:
5588:
5578:
5577:
5576:
5571:
5566:
5561:
5556:
5546:
5545:
5544:
5539:
5532:Interpretation
5528:
5526:
5520:
5519:
5517:
5516:
5511:
5506:
5501:
5496:
5486:
5481:
5480:
5479:
5478:
5477:
5467:
5462:
5452:
5447:
5442:
5437:
5432:
5427:
5421:
5419:
5413:
5412:
5409:
5408:
5406:
5405:
5397:
5396:
5395:
5394:
5389:
5388:
5387:
5382:
5377:
5357:
5356:
5355:
5353:minimal axioms
5350:
5339:
5338:
5337:
5326:
5325:
5324:
5319:
5314:
5309:
5304:
5299:
5286:
5284:
5265:
5264:
5262:
5261:
5260:
5259:
5247:
5242:
5241:
5240:
5235:
5230:
5225:
5215:
5210:
5205:
5200:
5199:
5198:
5193:
5183:
5182:
5181:
5176:
5171:
5166:
5156:
5151:
5150:
5149:
5144:
5139:
5129:
5128:
5127:
5122:
5117:
5112:
5107:
5102:
5092:
5087:
5082:
5077:
5076:
5075:
5070:
5065:
5060:
5050:
5045:
5043:Formation rule
5040:
5035:
5034:
5033:
5028:
5018:
5017:
5016:
5006:
5001:
4996:
4991:
4985:
4979:
4962:Formal systems
4958:
4957:
4954:
4953:
4951:
4950:
4945:
4940:
4935:
4930:
4925:
4920:
4915:
4910:
4905:
4904:
4903:
4898:
4887:
4885:
4881:
4880:
4878:
4877:
4876:
4875:
4865:
4860:
4859:
4858:
4851:Large cardinal
4848:
4843:
4838:
4833:
4828:
4814:
4813:
4812:
4807:
4802:
4787:
4785:
4775:
4774:
4772:
4771:
4770:
4769:
4764:
4759:
4749:
4744:
4739:
4734:
4729:
4724:
4719:
4714:
4709:
4704:
4699:
4694:
4688:
4686:
4679:
4678:
4676:
4675:
4674:
4673:
4668:
4663:
4658:
4653:
4648:
4640:
4639:
4638:
4633:
4623:
4618:
4616:Extensionality
4613:
4611:Ordinal number
4608:
4598:
4593:
4592:
4591:
4580:
4574:
4568:
4567:
4564:
4563:
4561:
4560:
4555:
4550:
4545:
4540:
4535:
4530:
4529:
4528:
4518:
4517:
4516:
4503:
4501:
4495:
4494:
4492:
4491:
4490:
4489:
4484:
4479:
4469:
4464:
4459:
4454:
4449:
4444:
4438:
4436:
4430:
4429:
4427:
4426:
4421:
4416:
4411:
4406:
4401:
4396:
4395:
4394:
4384:
4379:
4374:
4369:
4364:
4359:
4353:
4351:
4342:
4336:
4335:
4333:
4332:
4327:
4322:
4317:
4312:
4307:
4295:Cantor's
4293:
4288:
4283:
4273:
4271:
4258:
4257:
4255:
4254:
4249:
4244:
4239:
4234:
4229:
4224:
4219:
4214:
4209:
4204:
4199:
4194:
4193:
4192:
4181:
4179:
4175:
4174:
4167:
4166:
4159:
4152:
4144:
4135:
4134:
4132:
4131:
4126:
4124:Thoralf Skolem
4121:
4116:
4111:
4106:
4101:
4096:
4091:
4086:
4081:
4076:
4070:
4068:
4062:
4061:
4059:
4058:
4053:
4048:
4042:
4040:
4038:
4037:
4034:
4028:
4025:
4024:
4022:
4021:
4020:
4019:
4014:
4009:
4008:
4007:
3992:
3991:
3990:
3978:
3977:
3976:
3965:
3964:
3959:
3954:
3949:
3943:
3941:
3937:
3936:
3934:
3933:
3928:
3923:
3918:
3909:
3904:
3899:
3889:
3884:
3883:
3882:
3877:
3872:
3862:
3852:
3847:
3842:
3836:
3834:
3827:
3826:
3824:
3823:
3818:
3813:
3808:
3806:Ordinal number
3803:
3798:
3793:
3788:
3787:
3786:
3781:
3771:
3766:
3761:
3756:
3751:
3741:
3736:
3730:
3728:
3726:
3725:
3722:
3718:
3715:
3714:
3712:
3711:
3706:
3701:
3696:
3691:
3686:
3684:Disjoint union
3681:
3676:
3670:
3664:
3662:
3656:
3655:
3653:
3652:
3651:
3650:
3645:
3634:
3633:
3631:Martin's axiom
3628:
3623:
3618:
3613:
3608:
3603:
3598:
3596:Extensionality
3593:
3588:
3583:
3582:
3581:
3576:
3571:
3561:
3555:
3553:
3547:
3546:
3539:
3537:
3535:
3534:
3528:
3526:
3522:
3521:
3514:
3513:
3506:
3499:
3491:
3485:
3484:
3465:
3444:
3443:External links
3441:
3440:
3439:
3425:
3405:
3391:
3371:
3365:
3347:
3344:
3341:
3340:
3322:
3310:
3293:
3281:
3272:
3245:
3220:
3219:
3217:
3214:
3213:
3212:
3206:
3200:
3194:
3188:
3182:
3174:
3171:
3141:
3121:
3110:\smallsetminus
3075:
3074:LaTeX notation
3072:
3050:Together with
3036:
3016:
3013:
2993:
2990:
2970:
2967:
2964:
2944:
2941:
2921:
2918:
2907:logical matrix
2894:
2874:
2871:
2868:
2865:
2862:
2859:
2856:
2853:
2847:
2838:
2835:
2812:
2792:
2789:
2786:
2783:
2763:
2740:
2737:
2711:
2708:
2705:
2702:
2679:
2664:
2661:
2660:
2659:
2658:
2657:
2645:
2642:
2639:
2636:
2633:
2613:
2610:
2607:
2604:
2601:
2591:
2579:
2576:
2573:
2570:
2567:
2564:
2561:
2541:
2538:
2535:
2524:
2513:
2510:
2507:
2504:
2501:
2498:
2488:
2477:
2474:
2471:
2468:
2465:
2462:
2452:
2441:
2438:
2435:
2432:
2429:
2426:
2416:
2405:
2402:
2399:
2396:
2393:
2390:
2380:
2369:
2366:
2363:
2360:
2357:
2354:
2351:
2348:
2345:
2342:
2339:
2336:
2333:
2330:
2327:
2324:
2321:
2318:
2315:
2312:
2302:
2291:
2288:
2285:
2282:
2279:
2276:
2273:
2270:
2267:
2264:
2261:
2258:
2255:
2252:
2249:
2246:
2243:
2240:
2237:
2234:
2231:
2228:
2225:
2222:
2212:
2211:
2210:
2198:
2195:
2192:
2189:
2186:
2183:
2180:
2177:
2174:
2171:
2168:
2165:
2162:
2140:
2137:
2134:
2131:
2128:
2125:
2122:
2119:
2116:
2113:
2110:
2107:
2104:
2101:
2098:
2095:
2092:
2089:
2086:
2083:
2073:
2062:
2059:
2056:
2053:
2050:
2047:
2044:
2041:
2038:
2035:
2032:
2029:
2026:
2023:
2020:
2017:
2014:
2011:
2008:
2005:
1995:
1984:
1981:
1978:
1975:
1972:
1969:
1966:
1963:
1960:
1957:
1954:
1951:
1948:
1945:
1942:
1939:
1936:
1933:
1930:
1927:
1874:
1871:
1870:
1869:
1864:is the set of
1852:
1848:
1844:
1830:is the set of
1818:
1804:is the set of
1792:
1780:
1769:
1766:
1763:
1760:
1757:
1754:
1751:
1748:
1745:
1742:
1739:
1736:
1733:
1730:
1727:
1724:
1721:
1718:
1715:
1712:
1702:
1691:
1688:
1685:
1682:
1679:
1676:
1673:
1670:
1667:
1664:
1661:
1658:
1655:
1652:
1649:
1646:
1643:
1640:
1637:
1634:
1622:
1619:
1607:
1604:
1601:
1598:
1595:
1592:
1589:
1586:
1583:
1580:
1577:
1574:
1571:
1568:
1538:is taken from
1521:
1518:
1515:
1512:
1484:
1481:
1478:
1475:
1451:
1448:
1445:
1410:
1407:
1404:
1401:
1396:
1392:
1388:
1385:
1327:set difference
1294:
1291:
1289:
1286:
1244:
1243:
1232:
1229:
1226:
1223:
1220:
1215:
1211:
1207:
1202:
1198:
1183:
1182:
1171:
1168:
1165:
1162:
1159:
1156:
1153:
1148:
1144:
1140:
1137:
1134:
1129:
1125:
1121:
1116:
1112:
1108:
1105:
1102:
1099:
1089:
1078:
1073:
1069:
1065:
1062:
1059:
1056:
1053:
1050:
1036:
1035:
1024:
1021:
1018:
1013:
1008:
1003:
999:
995:
976:
975:
974:
973:
970:contrapositive
955:
950:
946:
942:
937:
933:
924:
921:
918:
903:
892:
889:
886:
881:
877:
866:
855:
852:
849:
844:
840:
829:
818:
815:
812:
807:
803:
799:
796:
786:
775:
772:
769:
764:
760:
756:
753:
739:
738:
727:
722:
718:
714:
709:
705:
701:
696:
691:
687:
684:
681:
677:
665:
654:
649:
645:
641:
636:
632:
628:
623:
618:
614:
611:
608:
604:
569:
566:
565:
564:
545:
518:
505:is the set of
485:
482:
470:
467:
464:
456:
453:
448:
444:
424:
420:
417:
413:
408:
405:
381:
377:
350:
347:
344:
341:
338:
335:
332:
329:
326:
323:
320:
317:
314:
311:
308:
303:
299:
242:
239:
225:
222:
201:
198:
195:
192:
173:set difference
97:
93:
56:
49:
48:
40:
33:
32:
31:
30:
29:
26:
18:Complement set
9:
6:
4:
3:
2:
5925:
5914:
5911:
5909:
5906:
5905:
5903:
5890:
5889:
5884:
5876:
5870:
5867:
5865:
5862:
5860:
5857:
5855:
5852:
5848:
5845:
5844:
5843:
5840:
5838:
5835:
5833:
5830:
5828:
5824:
5821:
5819:
5816:
5814:
5811:
5809:
5806:
5804:
5801:
5800:
5798:
5794:
5788:
5785:
5783:
5780:
5778:
5777:Recursive set
5775:
5773:
5770:
5768:
5765:
5763:
5760:
5758:
5755:
5751:
5748:
5746:
5743:
5741:
5738:
5736:
5733:
5731:
5728:
5727:
5726:
5723:
5721:
5718:
5716:
5713:
5711:
5708:
5706:
5703:
5701:
5698:
5697:
5695:
5693:
5689:
5683:
5680:
5678:
5675:
5673:
5670:
5668:
5665:
5663:
5660:
5658:
5655:
5653:
5650:
5646:
5643:
5641:
5638:
5636:
5633:
5632:
5631:
5628:
5626:
5623:
5621:
5618:
5616:
5613:
5611:
5608:
5606:
5603:
5599:
5596:
5595:
5594:
5591:
5587:
5586:of arithmetic
5584:
5583:
5582:
5579:
5575:
5572:
5570:
5567:
5565:
5562:
5560:
5557:
5555:
5552:
5551:
5550:
5547:
5543:
5540:
5538:
5535:
5534:
5533:
5530:
5529:
5527:
5525:
5521:
5515:
5512:
5510:
5507:
5505:
5502:
5500:
5497:
5494:
5493:from ZFC
5490:
5487:
5485:
5482:
5476:
5473:
5472:
5471:
5468:
5466:
5463:
5461:
5458:
5457:
5456:
5453:
5451:
5448:
5446:
5443:
5441:
5438:
5436:
5433:
5431:
5428:
5426:
5423:
5422:
5420:
5418:
5414:
5404:
5403:
5399:
5398:
5393:
5392:non-Euclidean
5390:
5386:
5383:
5381:
5378:
5376:
5375:
5371:
5370:
5368:
5365:
5364:
5362:
5358:
5354:
5351:
5349:
5346:
5345:
5344:
5340:
5336:
5333:
5332:
5331:
5327:
5323:
5320:
5318:
5315:
5313:
5310:
5308:
5305:
5303:
5300:
5298:
5295:
5294:
5292:
5288:
5287:
5285:
5280:
5274:
5269:Example
5266:
5258:
5253:
5252:
5251:
5248:
5246:
5243:
5239:
5236:
5234:
5231:
5229:
5226:
5224:
5221:
5220:
5219:
5216:
5214:
5211:
5209:
5206:
5204:
5201:
5197:
5194:
5192:
5189:
5188:
5187:
5184:
5180:
5177:
5175:
5172:
5170:
5167:
5165:
5162:
5161:
5160:
5157:
5155:
5152:
5148:
5145:
5143:
5140:
5138:
5135:
5134:
5133:
5130:
5126:
5123:
5121:
5118:
5116:
5113:
5111:
5108:
5106:
5103:
5101:
5098:
5097:
5096:
5093:
5091:
5088:
5086:
5083:
5081:
5078:
5074:
5071:
5069:
5066:
5064:
5061:
5059:
5056:
5055:
5054:
5051:
5049:
5046:
5044:
5041:
5039:
5036:
5032:
5029:
5027:
5026:by definition
5024:
5023:
5022:
5019:
5015:
5012:
5011:
5010:
5007:
5005:
5002:
5000:
4997:
4995:
4992:
4990:
4987:
4986:
4983:
4980:
4978:
4974:
4969:
4963:
4959:
4949:
4946:
4944:
4941:
4939:
4936:
4934:
4931:
4929:
4926:
4924:
4921:
4919:
4916:
4914:
4913:KripkeâPlatek
4911:
4909:
4906:
4902:
4899:
4897:
4894:
4893:
4892:
4889:
4888:
4886:
4882:
4874:
4871:
4870:
4869:
4866:
4864:
4861:
4857:
4854:
4853:
4852:
4849:
4847:
4844:
4842:
4839:
4837:
4834:
4832:
4829:
4826:
4822:
4818:
4815:
4811:
4808:
4806:
4803:
4801:
4798:
4797:
4796:
4792:
4789:
4788:
4786:
4784:
4780:
4776:
4768:
4765:
4763:
4760:
4758:
4757:constructible
4755:
4754:
4753:
4750:
4748:
4745:
4743:
4740:
4738:
4735:
4733:
4730:
4728:
4725:
4723:
4720:
4718:
4715:
4713:
4710:
4708:
4705:
4703:
4700:
4698:
4695:
4693:
4690:
4689:
4687:
4685:
4680:
4672:
4669:
4667:
4664:
4662:
4659:
4657:
4654:
4652:
4649:
4647:
4644:
4643:
4641:
4637:
4634:
4632:
4629:
4628:
4627:
4624:
4622:
4619:
4617:
4614:
4612:
4609:
4607:
4603:
4599:
4597:
4594:
4590:
4587:
4586:
4585:
4582:
4581:
4578:
4575:
4573:
4569:
4559:
4556:
4554:
4551:
4549:
4546:
4544:
4541:
4539:
4536:
4534:
4531:
4527:
4524:
4523:
4522:
4519:
4515:
4510:
4509:
4508:
4505:
4504:
4502:
4500:
4496:
4488:
4485:
4483:
4480:
4478:
4475:
4474:
4473:
4470:
4468:
4465:
4463:
4460:
4458:
4455:
4453:
4450:
4448:
4445:
4443:
4440:
4439:
4437:
4435:
4434:Propositional
4431:
4425:
4422:
4420:
4417:
4415:
4412:
4410:
4407:
4405:
4402:
4400:
4397:
4393:
4390:
4389:
4388:
4385:
4383:
4380:
4378:
4375:
4373:
4370:
4368:
4365:
4363:
4362:Logical truth
4360:
4358:
4355:
4354:
4352:
4350:
4346:
4343:
4341:
4337:
4331:
4328:
4326:
4323:
4321:
4318:
4316:
4313:
4311:
4308:
4306:
4302:
4298:
4294:
4292:
4289:
4287:
4284:
4282:
4278:
4275:
4274:
4272:
4270:
4264:
4259:
4253:
4250:
4248:
4245:
4243:
4240:
4238:
4235:
4233:
4230:
4228:
4225:
4223:
4220:
4218:
4215:
4213:
4210:
4208:
4205:
4203:
4200:
4198:
4195:
4191:
4188:
4187:
4186:
4183:
4182:
4180:
4176:
4172:
4165:
4160:
4158:
4153:
4151:
4146:
4145:
4142:
4130:
4129:Ernst Zermelo
4127:
4125:
4122:
4120:
4117:
4115:
4114:Willard Quine
4112:
4110:
4107:
4105:
4102:
4100:
4097:
4095:
4092:
4090:
4087:
4085:
4082:
4080:
4077:
4075:
4072:
4071:
4069:
4067:
4066:Set theorists
4063:
4057:
4054:
4052:
4049:
4047:
4044:
4043:
4041:
4035:
4033:
4030:
4029:
4026:
4018:
4015:
4013:
4012:KripkeâPlatek
4010:
4006:
4003:
4002:
4001:
3998:
3997:
3996:
3993:
3989:
3986:
3985:
3984:
3983:
3979:
3975:
3972:
3971:
3970:
3967:
3966:
3963:
3960:
3958:
3955:
3953:
3950:
3948:
3945:
3944:
3942:
3938:
3932:
3929:
3927:
3924:
3922:
3919:
3917:
3915:
3910:
3908:
3905:
3903:
3900:
3897:
3893:
3890:
3888:
3885:
3881:
3878:
3876:
3873:
3871:
3868:
3867:
3866:
3863:
3860:
3856:
3853:
3851:
3848:
3846:
3843:
3841:
3838:
3837:
3835:
3832:
3828:
3822:
3819:
3817:
3814:
3812:
3809:
3807:
3804:
3802:
3799:
3797:
3794:
3792:
3789:
3785:
3782:
3780:
3777:
3776:
3775:
3772:
3770:
3767:
3765:
3762:
3760:
3757:
3755:
3752:
3749:
3745:
3742:
3740:
3737:
3735:
3732:
3731:
3729:
3723:
3720:
3719:
3716:
3710:
3707:
3705:
3702:
3700:
3697:
3695:
3692:
3690:
3687:
3685:
3682:
3680:
3677:
3674:
3671:
3669:
3666:
3665:
3663:
3661:
3657:
3649:
3648:specification
3646:
3644:
3641:
3640:
3639:
3636:
3635:
3632:
3629:
3627:
3624:
3622:
3619:
3617:
3614:
3612:
3609:
3607:
3604:
3602:
3599:
3597:
3594:
3592:
3589:
3587:
3584:
3580:
3577:
3575:
3572:
3570:
3567:
3566:
3565:
3562:
3560:
3557:
3556:
3554:
3552:
3548:
3543:
3533:
3530:
3529:
3527:
3523:
3519:
3512:
3507:
3505:
3500:
3498:
3493:
3492:
3489:
3480:
3479:
3474:
3471:
3466:
3461:
3460:
3455:
3452:
3447:
3446:
3436:
3432:
3428:
3426:9780442030643
3422:
3417:
3416:
3410:
3406:
3402:
3398:
3394:
3392:0-387-90441-7
3388:
3384:
3380:
3376:
3372:
3368:
3362:
3358:
3354:
3350:
3349:
3337:
3333:
3330:
3326:
3319:
3314:
3308:, p. 17.
3307:
3302:
3300:
3298:
3290:
3289:Bourbaki 1970
3285:
3276:
3262:
3258:
3252:
3250:
3235:
3231:
3225:
3221:
3210:
3207:
3204:
3201:
3198:
3195:
3192:
3189:
3186:
3183:
3180:
3177:
3176:
3170:
3139:
3119:
3095:
3087:
3081:
3071:
3069:
3065:
3061:
3057:
3053:
3048:
3034:
3014:
3011:
2991:
2988:
2968:
2965:
2962:
2955:The truth of
2942:
2939:
2919:
2916:
2908:
2892:
2872:
2869:
2860:
2857:
2854:
2845:
2833:
2810:
2790:
2787:
2784:
2781:
2761:
2735:
2725:
2709:
2706:
2703:
2700:
2693:
2677:
2670:
2643:
2637:
2634:
2631:
2611:
2605:
2602:
2599:
2592:
2577:
2571:
2568:
2565:
2559:
2539:
2536:
2533:
2525:
2511:
2505:
2502:
2496:
2489:
2475:
2472:
2469:
2460:
2453:
2439:
2433:
2430:
2417:
2403:
2397:
2394:
2388:
2381:
2367:
2361:
2355:
2343:
2340:
2337:
2331:
2328:
2325:
2319:
2313:
2303:
2289:
2283:
2277:
2271:
2268:
2265:
2262:
2253:
2250:
2247:
2241:
2238:
2235:
2229:
2223:
2213:
2193:
2190:
2187:
2181:
2175:
2169:
2160:
2152:
2151:
2138:
2132:
2126:
2120:
2114:
2111:
2108:
2102:
2096:
2090:
2081:
2074:
2060:
2054:
2048:
2042:
2036:
2030:
2024:
2018:
2015:
2012:
2003:
1996:
1982:
1976:
1970:
1964:
1958:
1952:
1946:
1940:
1937:
1934:
1925:
1918:
1917:
1916:
1915:
1914:
1912:
1903:
1897:
1891:
1884:
1880:
1867:
1833:
1807:
1781:
1767:
1761:
1755:
1749:
1746:
1743:
1740:
1737:
1725:
1722:
1719:
1716:
1713:
1703:
1689:
1683:
1677:
1671:
1668:
1665:
1662:
1659:
1647:
1644:
1641:
1638:
1635:
1625:
1624:
1618:
1605:
1599:
1596:
1593:
1590:
1587:
1584:
1581:
1575:
1572:
1566:
1557:
1554:
1548:
1542:
1536:
1519:
1516:
1513:
1510:
1502:
1498:
1482:
1479:
1476:
1473:
1465:
1449:
1443:
1434:
1428:
1408:
1402:
1399:
1394:
1390:
1386:
1383:
1374:
1368:
1363:
1358:
1354:
1351:
1345:
1339:
1333:
1328:
1323:
1317:
1312:
1307:
1301:
1285:
1282:
1277:
1271:
1267:
1260:
1255:
1254:proper subset
1250:
1230:
1227:
1221:
1218:
1213:
1209:
1200:
1196:
1188:
1187:
1186:
1169:
1163:
1160:
1157:
1151:
1146:
1142:
1138:
1135:
1132:
1127:
1123:
1119:
1114:
1106:
1100:
1090:
1076:
1071:
1067:
1063:
1060:
1057:
1054:
1048:
1041:
1040:
1039:
1022:
1019:
1016:
1011:
1006:
1001:
997:
993:
984:
983:
982:
980:
971:
967:
966:
953:
948:
944:
940:
935:
931:
922:
919:
916:
904:
890:
884:
879:
875:
867:
853:
850:
847:
842:
830:
816:
810:
805:
801:
797:
794:
787:
773:
770:
767:
762:
758:
754:
751:
744:
743:
742:
725:
720:
716:
712:
707:
703:
699:
694:
689:
685:
682:
679:
675:
666:
652:
647:
643:
639:
634:
630:
626:
621:
616:
612:
609:
606:
602:
593:
592:
591:
589:
585:
562:
561:universal set
558:
554:
550:
546:
535:
524:. If the set
523:
519:
516:
508:
492:
488:
487:
481:
468:
465:
462:
454:
451:
446:
442:
422:
418:
415:
411:
403:
379:
375:
361:
348:
342:
339:
336:
333:
330:
327:
324:
318:
315:
309:
306:
301:
297:
260:
252:
235:
230:
221:
199:
196:
190:
174:
162:
157:
143:
135:
131:
126:
120:
114:
95:
91:
79:
75:
71:
53:
37:
19:
5879:
5677:Ultraproduct
5524:Model theory
5489:Independence
5425:Formal proof
5417:Proof theory
5400:
5373:
5330:real numbers
5302:second-order
5213:Substitution
5090:Metalanguage
5031:conservative
5004:Axiom schema
4948:Constructive
4918:MorseâKelley
4884:Set theories
4863:Aleph number
4856:inaccessible
4762:Grothendieck
4655:
4646:intersection
4533:Higher-order
4521:Second-order
4467:Truth tables
4424:Venn diagram
4207:Formal proof
4079:Georg Cantor
4074:Paul Bernays
4005:MorseâKelley
3980:
3913:
3912:Subset
3859:hereditarily
3821:Venn diagram
3779:ordered pair
3694:Intersection
3672:
3638:Axiom schema
3476:
3457:
3454:"Complement"
3414:
3378:
3356:
3353:Bourbaki, N.
3325:
3320:, p. 6.
3313:
3284:
3275:
3264:. Retrieved
3260:
3237:. Retrieved
3233:
3224:
3108:. A variant
3083:
3049:
2723:
2666:
1901:
1895:
1889:
1886:
1806:real numbers
1558:
1552:
1546:
1540:
1534:
1432:
1426:
1423:
1372:
1366:
1361:
1349:
1343:
1337:
1331:
1326:
1321:
1315:
1310:
1305:
1299:
1296:
1280:
1269:
1265:
1258:
1248:
1245:
1184:
1037:
977:
927:, then
740:
586:
571:
557:proper class
362:
258:
250:
244:
233:
172:
160:
158:
141:
127:
112:
73:
67:
5787:Type theory
5735:undecidable
5667:Truth value
5554:equivalence
5233:non-logical
4846:Enumeration
4836:Isomorphism
4783:cardinality
4767:Von Neumann
4732:Ultrafilter
4697:Uncountable
4631:equivalence
4548:Quantifiers
4538:Fixed-point
4507:First-order
4387:Consistency
4372:Proposition
4349:Traditional
4320:Lindström's
4310:Compactness
4252:Type theory
4197:Cardinality
4104:Thomas Jech
3947:Alternative
3926:Uncountable
3880:Ultrafilter
3739:Cardinality
3643:replacement
3591:Determinacy
3318:Devlin 1979
3306:Halmos 1960
3154:\complement
1436:is denoted
1347:but not in
5902:Categories
5598:elementary
5291:arithmetic
5159:Quantifier
5137:functional
5009:Expression
4727:Transitive
4671:identities
4656:complement
4589:hereditary
4572:Set theory
4099:Kurt Gödel
4084:Paul Cohen
3921:Transitive
3689:Identities
3673:Complement
3660:Operations
3621:Regularity
3559:Adjunction
3518:Set theory
3435:0087.04403
3401:0407.04003
3346:References
3266:2020-09-04
3239:2020-09-04
3167:COMPLEMENT
3102:\backslash
3078:See also:
3064:operations
1911:identities
1877:See also:
1873:Properties
1559:Formally:
1293:Definition
979:Involution
568:Properties
553:set theory
259:complement
241:Definition
183:, written
74:complement
70:set theory
5869:Supertask
5772:Recursion
5730:decidable
5564:saturated
5542:of models
5465:deductive
5460:axiomatic
5380:Hilbert's
5367:Euclidean
5348:canonical
5271:axiomatic
5203:Signature
5132:Predicate
5021:Extension
4943:Ackermann
4868:Operation
4747:Universal
4737:Recursive
4712:Singleton
4707:Inhabited
4692:Countable
4682:Types of
4666:power set
4636:partition
4553:Predicate
4499:Predicate
4414:Syllogism
4404:Soundness
4377:Inference
4367:Tautology
4269:paradoxes
4032:Paradoxes
3952:Axiomatic
3931:Universal
3907:Singleton
3902:Recursive
3845:Countable
3840:Amorphous
3699:Power set
3616:Power set
3574:dependent
3569:countable
3478:MathWorld
3459:MathWorld
3120:∁
3098:\setminus
3094:backslash
3090:\setminus
2867:∖
2858:×
2837:¯
2785:×
2739:¯
2704:×
2641:∖
2635:⊇
2609:∖
2603:⊇
2575:∖
2569:⊃
2563:∖
2537:⊂
2509:∅
2500:∖
2467:∅
2464:∖
2437:∅
2428:∖
2425:∅
2401:∅
2392:∖
2359:∖
2350:∖
2341:∪
2326:∪
2317:∖
2281:∖
2272:∩
2260:∖
2251:∩
2236:∩
2227:∖
2191:∩
2173:∖
2164:∖
2130:∖
2121:∪
2112:∩
2094:∖
2085:∖
2052:∖
2043:∩
2034:∖
2016:∪
2007:∖
1974:∖
1965:∪
1956:∖
1938:∩
1929:∖
1847:∖
1732:∖
1654:∖
1597:∉
1585:∈
1570:∖
1514:−
1477:−
1447:∖
1406:∖
1395:∁
1387:∩
1276:partition
1225:∖
1214:∁
1206:∖
1201:∁
1161:∩
1152:∪
1147:∁
1133:∪
1128:∁
1115:∁
1104:∖
1072:∁
1064:∩
1052:∖
1012:∁
1002:∁
949:∁
941:⊆
936:∁
920:⊆
888:∅
880:∁
843:∁
839:∅
814:∅
806:∁
798:∩
763:∁
755:∪
721:∁
713:∪
708:∁
695:∁
683:∩
648:∁
640:∩
635:∁
622:∁
610:∪
515:congruent
507:multiples
463:∁
443:∁
407:¯
380:∁
340:∉
328:∈
313:∖
302:∁
194:∖
96:∁
5854:Logicism
5847:timeline
5823:Concrete
5682:Validity
5652:T-schema
5645:Kripke's
5640:Tarski's
5635:semantic
5625:Strength
5574:submodel
5569:spectrum
5537:function
5385:Tarski's
5374:Elements
5361:geometry
5317:Robinson
5238:variable
5223:function
5196:spectrum
5186:Sentence
5142:variable
5085:Language
5038:Relation
4999:Automata
4989:Alphabet
4973:language
4827:-jection
4805:codomain
4791:Function
4752:Universe
4722:Infinite
4626:Relation
4409:Validity
4399:Argument
4297:theorem,
4036:Problems
3940:Theories
3916:Superset
3892:Infinite
3721:Concepts
3601:Infinity
3525:Overview
3411:(1960).
3383:Springer
3377:(1979).
3355:(1970).
3332:Archived
3173:See also
3164:∁
1621:Examples
913:If
491:integers
484:Examples
419:′
130:universe
119:elements
5796:Related
5593:Diagram
5491: (
5470:Hilbert
5455:Systems
5450:Theorem
5328:of the
5273:systems
5053:Formula
5048:Grammar
4964: (
4908:General
4621:Forcing
4606:Element
4526:Monadic
4301:paradox
4242:Theorem
4178:General
3974:General
3969:Zermelo
3875:subbase
3857: (
3796:Forcing
3774:Element
3746: (
3724:Methods
3611:Pairing
3084:In the
3066:of the
3004:column
2552:, then
1834:, then
1262:, then
532:is the
134:members
121:not in
5559:finite
5322:Skolem
5275:
5250:Theory
5218:Symbol
5208:String
5191:atomic
5068:ground
5063:closed
5058:atomic
5014:ground
4977:syntax
4873:binary
4800:domain
4717:Finite
4482:finite
4340:Logics
4299:
4247:Theory
3865:Filter
3855:Finite
3791:Family
3734:Almost
3579:global
3564:Choice
3551:Axioms
3433:
3423:
3399:
3389:
3363:
3161:
3159:U+2201
2885:Here,
2849:
2843:
1899:, and
1532:where
140:, the
72:, the
5549:Model
5297:Peano
5154:Proof
4994:Arity
4923:Naive
4810:image
4742:Fuzzy
4702:Empty
4651:union
4596:Class
4237:Model
4227:Lemma
4185:Axiom
3957:Naive
3887:Fuzzy
3850:Empty
3833:types
3784:tuple
3754:Class
3748:large
3709:Union
3626:Union
3216:Notes
3086:LaTeX
1550:from
1274:is a
534:union
493:. If
76:of a
5672:Type
5475:list
5279:list
5256:list
5245:Term
5179:rank
5073:open
4967:list
4779:Maps
4684:sets
4543:Free
4513:list
4263:list
4190:list
3870:base
3421:ISBN
3387:ISBN
3361:ISBN
3054:and
2722:The
1887:Let
1881:and
1808:and
1544:and
1360:The
1335:and
1303:and
576:and
572:Let
232:The
179:and
159:The
110:(or
5359:of
5341:of
5289:of
4821:Sur
4795:Map
4602:Ur-
4584:Set
3831:Set
3431:Zbl
3397:Zbl
3169:.)
2774:in
2526:If
1782:If
1499:in
1430:in
1370:in
1364:of
1329:of
1319:in
1313:of
1297:If
1278:of
1256:of
285:in
261:of
253:of
245:If
175:of
163:of
144:of
78:set
68:In
41:If
5904::
5745:NP
5369::
5363::
5293::
4970:),
4825:Bi
4817:In
3475:.
3456:.
3429:.
3395:.
3385:.
3296:^
3259:.
3248:^
3232:.
3070:.
2667:A
1893:,
1556:.
1376::
1353:.
1284:.
1268:,
972:).
590::
289::
220:.
156:.
125:.
5825:/
5740:P
5495:)
5281:)
5277:(
5174:â
5169:!
5164:â
5125:=
5120:â
5115:â
5110:â§
5105:âš
5100:ÂŹ
4823:/
4819:/
4793:/
4604:)
4600:(
4487:â
4477:3
4265:)
4163:e
4156:t
4149:v
3914:·
3898:)
3894:(
3861:)
3750:)
3510:e
3503:t
3496:v
3481:.
3462:.
3437:.
3403:.
3369:.
3269:.
3242:.
3140:C
3035:R
3015:.
3012:b
2992:,
2989:a
2969:b
2966:R
2963:a
2943:.
2940:Y
2920:,
2917:X
2893:R
2873:.
2870:R
2864:)
2861:Y
2855:X
2852:(
2846:=
2834:R
2811:R
2791:.
2788:Y
2782:X
2762:R
2736:R
2710:.
2707:Y
2701:X
2678:R
2656:.
2644:A
2638:B
2632:C
2612:C
2606:B
2600:A
2590:.
2578:B
2572:C
2566:A
2560:C
2540:B
2534:A
2512:.
2506:=
2503:U
2497:A
2476:.
2473:A
2470:=
2461:A
2440:.
2434:=
2431:A
2404:.
2398:=
2395:A
2389:A
2368:.
2365:)
2362:C
2356:A
2353:(
2347:)
2344:C
2338:B
2335:(
2332:=
2329:C
2323:)
2320:A
2314:B
2311:(
2290:.
2287:)
2284:A
2278:C
2275:(
2269:B
2266:=
2263:A
2257:)
2254:C
2248:B
2245:(
2242:=
2239:C
2233:)
2230:A
2224:B
2221:(
2197:)
2194:A
2188:C
2185:(
2182:=
2179:)
2176:A
2170:C
2167:(
2161:C
2139:,
2136:)
2133:B
2127:C
2124:(
2118:)
2115:A
2109:C
2106:(
2103:=
2100:)
2097:A
2091:B
2088:(
2082:C
2061:.
2058:)
2055:B
2049:C
2046:(
2040:)
2037:A
2031:C
2028:(
2025:=
2022:)
2019:B
2013:A
2010:(
2004:C
1983:.
1980:)
1977:B
1971:C
1968:(
1962:)
1959:A
1953:C
1950:(
1947:=
1944:)
1941:B
1935:A
1932:(
1926:C
1907:U
1902:C
1896:B
1890:A
1868:.
1851:Q
1843:R
1817:Q
1791:R
1768:.
1765:}
1762:4
1759:{
1756:=
1753:}
1750:3
1747:,
1744:2
1741:,
1738:1
1735:{
1729:}
1726:4
1723:,
1720:3
1717:,
1714:2
1711:{
1690:.
1687:}
1684:1
1681:{
1678:=
1675:}
1672:4
1669:,
1666:3
1663:,
1660:2
1657:{
1651:}
1648:3
1645:,
1642:2
1639:,
1636:1
1633:{
1606:.
1603:}
1600:A
1594:x
1591::
1588:B
1582:x
1579:{
1576:=
1573:A
1567:B
1553:A
1547:a
1541:B
1535:b
1520:,
1517:a
1511:b
1483:,
1480:A
1474:B
1450:A
1444:B
1433:B
1427:A
1409:A
1403:B
1400:=
1391:A
1384:B
1373:B
1367:A
1350:A
1344:B
1338:A
1332:B
1322:B
1316:A
1306:B
1300:A
1281:U
1272:}
1270:A
1266:A
1264:{
1259:U
1249:A
1231:.
1228:A
1222:B
1219:=
1210:B
1197:A
1170:.
1167:)
1164:A
1158:B
1155:(
1143:A
1139:=
1136:B
1124:A
1120:=
1111:)
1107:B
1101:A
1098:(
1077:.
1068:B
1061:A
1058:=
1055:B
1049:A
1023:.
1020:A
1017:=
1007:)
998:A
994:(
954:.
945:A
932:B
923:B
917:A
891:.
885:=
876:U
854:.
851:U
848:=
817:.
811:=
802:A
795:A
774:.
771:U
768:=
759:A
752:A
726:.
717:B
704:A
700:=
690:)
686:B
680:A
676:(
653:.
644:B
631:A
627:=
617:)
613:B
607:A
603:(
582:U
578:B
574:A
563:.
542:B
538:B
530:A
526:A
511:B
503:B
499:A
495:A
469:.
466:A
455:,
452:A
447:U
423:,
416:A
412:,
404:A
376:A
365:A
349:.
346:}
343:A
337:x
334::
331:U
325:x
322:{
319:=
316:A
310:U
307:=
298:A
287:U
283:A
279:A
275:U
271:U
267:A
263:A
255:A
247:A
218:A
214:B
200:,
197:A
191:B
181:A
177:B
169:B
165:A
154:A
150:U
146:A
138:U
123:A
115:âČ
113:A
92:A
81:A
59:A
43:A
20:)
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.
