Elementary Set Theory, Part I/IIHong Kong University Press, 1992年7月1日 - 148 頁 This book provides students of mathematics with the minimum amount of knowledge in logic and set theory needed for a profitable continuation of their studies. There is a chapter on statement calculus, followed by eight chapters on set theory. |
常見字詞
aɛA axiom of choice axiom of extension axiom of specification belongs bijective mapping called canonical order relation cardinal cartesian product concept construct defined definition denote disjunction empty family empty set equal equipotent equivalence relation example exists family of sets family of subsets finite sets following theorem functional composition hence Hong Kong inclusion infinite set injective integers intersection isomorphic iterated composition least element mapping 4A mapping f mapping ƒ mathematical induction maximal element natural numbers natural sequence negation non-empty set number of elements objects ordered pair ordered set ordinal numbers p-set PROOF proper segment proper subset Prove quotient set rational numbers recursion theorem respectively Section set of departure set theory singleton statement calculus statement function successor set symbol topology transfinite induction true truth functional truth table truth value union unique mapping usual order relation valid formula well-ordered set well-ordering principle xɛA