격자, lattice, 30 결정불가능, undecidable, 128 곱집합, product, 7,17 곱하기, multiplication, 38,45 공역, codomain, 8 공집합, emptyset, 2 관계, relation, 18 교집합, intersection, 2,4 귀납집합, inductive set, 126 극대원소, maximal element, 83 극소원소, minimal element, 83 극한 서수, limit ordinal, 119 기본열, fundamental sequence, 61 기수, cardinal number, 107118 기저, basis, 89 꼭지점, extreme point, 29 노음공간, normed space, 92 단사함수, injective function, 10 대등, equipotent, 102 더하기, addition, 37,45 데데킨트절단, Dedekind cut, 54 독립성, independency, 127 동치관계, equivalence relation, 18 럿셀의 역설, Russell's paradox, 123 멱집합, power set, 14,15 멱집합공리, The Axiom of Power Set, 126 면, face, 29 몫공간, quotient space, 25 몫사상, quotient map, 22 몫집합, quotient set, 22 무모순성, consistency, 127 무한공리, The Axiom of Infinity, 126 무한집합, infinite set, 15104 반사전순서, anti-lexicographic order, 95 베리의 역설, Berry's paradox, 124 변역, domain, 8 변환, transform, transformation, 8 볼록집합, convex set, 29 부분수열, subsequence, 67 부분집합, subset, 1 분할, partition, 19 불완전성 정리, Incomleteness Theorem, 129 비둘기 집 원리, Pigeonhole Principle, 103 뻬아노 공리계, Peano Axoims, 34 사상, map, mapping, 8 사슬, chain, 82 사영, projection, 18 사전순서, lexicographic order, 95 상, image, 16 상계, upper bound, 27 상한, supremum, 27 서로소, mutually disjoint, 6 서수, ordinal number, 99115 선택공리, The Axiom of Choice, 11,81 선택함수, choice function, 81 셀수없는, uncountable, 112 셀수있는, countable, 112 수렴, converge, 61 수열, sequence, 61 수학적 귀납법, mathematical induction, 35 순서관계, order relation, 26 순서동형, order isomorphic, 95 순서쌍, ordered pair, 6 순서집합, partially ordered set, 26 순서체, ordered field, 49 시작기수, initial ordinal, 118 실수, real number, 55 아래로 유계, bounded below, 28 아르키메데스 성질, Archmedian property, 54 양수, positive number, 49 여집합, complement, 2 역상, inverse image, 16 역원, inverse, 45,47 역함수, inverse function, 11 연속체 가설, Continuum Hypothesis, 120 완비격자, complete lattice, 30 완비순서체, complete ordered field, 70 완전성, completeness, 128 위로 유계, bounded above, 27 유계수열, bounded sequence, 61 유리수, rational number, 50,67 유한 서수, finite ordinal, 119 유한집합, finite set, 104 이항연산, binary operation, 30 일반 연속체 가설, Generalized Continuum Hypothesis, 121 자연수, natutal number, 34 잘 정의된, well-defined, 23 전단사함수, bijective function, 10 전사함수, surjective function, 10 전체집합, universal set, 2 절단, cut, 54 절대값, absolute value, 49 절편, initial segment, 94 정렬순서, well-order, 86 정렬집합, well-ordered set, 86 정수, integer, 43 제한, restriction, 9 존재공리, The Axiom of Existence, 124 증가함수, increasing function, 95 진부분집합, proper subset, 1 짝공리, The Axiom of Pair, 126 차집합, difference, 2 체, field, 46 체르멜로 정렬정리, Zermelo Well-ordering Theorem, 88 초른 도움정리, Zorn's Lemma, 82 초유한 서수, transfinite ordinal, 119 최대하계, greatest lower bounded, 28 최소상계, least upper bounded, 27 치환공리, The Axiom Schema of Replacement, 126 코시수열, Cauchy sequence, 61 크다, larger than, 49 특성함수, characteristic function, 15 포함함수, inclusion function, 8 하계, lower bound, 28 하우스도르프 극대 원칙, Hausdorff Maximal Principle, 82 하한, infimum, 28 함수, function, 8 함축공리, The Axiom Schema of Comprehension, 125 합성합수, composition, 9 합집합, union, 2,3 합집합공리, The Axiom of Union, 126 항등원, identity, 45,46,47 항등함수, identity function, 8 확장, extensin, 91 확장공리, The Axiom of Extensionality, 124 ZF 공리계, ZF Axioms, 127 ZFC 공리계, ZFC Axioms, 127