ThatQuiz Test Library Take this test now
Set theory - Test
Contributed by: Wyatt
  • 1. What is a set?
A) A tuple of objects
B) A collection of distinct objects
C) An ordered list of objects
D) A single object
  • 2. Which symbol is used to represent 'is a member of' in set theory?
A) ∩
B) ∉
C) ⊆
D) ∈
  • 3. A set that contains no elements is called?
A) Empty set
B) Universal set
C) Singleton set
D) Power set
  • 4. The number of elements in a set is called its?
A) Intersection
B) Union
C) Subset
D) Cardinality
  • 5. A set that contains all the elements under consideration is called?
A) Singleton set
B) Universal set
C) Empty set
D) Finite set
  • 6. Which operation produces a set containing elements that are in either of the sets being combined?
A) Intersection
B) Complement
C) Cartesian product
D) Union
  • 7. The complement of a set A with respect to the universal set is denoted by?
A) A ∩ A
B) A - A
C) A ∪ A
D) A'
  • 8. The set that contains all subsets of a given set is called a?
A) Finite set
B) Power set
C) Complement set
D) Infinite set
  • 9. A set containing only one element is called?
A) Singleton set
B) Universal set
C) Empty set
D) Infinite set
  • 10. Which symbol is used to denote the subset relationship in set theory?
A) ∩
B) ∪
C) ∉
D) ⊆
  • 11. The set of all positive integers less than 10 is an example of a?
A) Universal set
B) Empty set
C) Finite set
D) Singleton set
  • 12. In set theory, what does the difference of sets A and B represent?
A) Union of sets A and B
B) Intersection of sets A and B
C) Symmetric difference of sets A and B
D) Elements that are in set A but not in set B
  • 13. Two sets are equal if?
A) One set is a subset of the other
B) They have the same elements
C) They have different elements
D) They are both empty sets
  • 14. In set theory, what is the cardinality of the power set of a set with n elements?
A) 2n
B) 2n
C) n!
D) n2
  • 15. What is the set containing all the elements that belong to set A or set B, or both?
A) The complement of set A with respect to set B
B) The union of sets A and B
C) The intersection of sets A and B
D) The power set of set A
  • 16. If set A has 3 elements and set B has 5 elements, how many elements are in the union of A and B?
A) 15
B) 5
C) 8
D) 3
  • 17. What is the set of all elements that belong to either set but not both called?
A) Symmetric difference
B) Intersection
C) Complement
D) Union
  • 18. The set of all elements that are common to two or more sets is called the __________.
A) Union
B) Symmetric difference
C) Complement
D) Intersection
  • 19. If the cardinality of set A is 10 and the cardinality of set B is 15, what is the possible range for the cardinality of the union of A and B?
A) 1 to 5
B) 10 to 15
C) 11 to 25
D) 26 to 30
  • 20. If set A has 2 elements and set B has 3 elements, how many elements will the Cartesian product of A and B have?
A) 2
B) 6
C) 10
D) 5
  • 21. Who is commonly considered the founder of set theory?
A) Bernard Bolzano
B) Zeno of Elea
C) Richard Dedekind
D) Georg Cantor
  • 22. Who published Richard Dedekind's lectures, which were influential in set theory?
A) Richard Dedekind himself
B) Zeno of Elea
C) Georg Cantor
D) Bernard Bolzano
  • 23. What concept did Georg Cantor study that led him to set theory?
A) Trigonometric series
B) Manifolds
C) Equivalence relations
D) Point-sets
  • 24. Which mathematician's work is considered the first rigorous introduction of sets to mathematics?
A) Bernard Bolzano
B) Georg Cantor
C) Richard Dedekind
D) Zeno of Elea
  • 25. Which mathematician's lecture introduced the concept of basing mathematics in terms of sets or manifolds?
A) Bernard Bolzano
B) Georg Cantor
C) Richard Dedekind
D) Bernhard Riemann
  • 26. What was the starting point for a movement in real analysis?
A) Riemann's paper on trigonometric series
B) Cantor's study of point-sets
C) Dedekind's work on equivalence relations
D) Bolzano's Paradoxes of the Infinite
  • 27. In which year did Georg Cantor publish his foundational paper on set theory?
A) 1872
B) 1890
C) 1885
D) 1874
  • 28. What proof did Cantor use to show that the set of real numbers is uncountable?
A) Dedekind cuts
B) Cantor's diagonal argument
C) Peano axioms
D) Cantor's first uncountability proof
  • 29. Which Hebrew letter did Cantor use for cardinal numbers?
A) Delta (Δ)
B) Omega (ω)
C) Aleph (ℵ)
D) Sigma (Σ)
  • 30. What Greek letter did Cantor use for ordinals?
A) Omega (ω)
B) Gamma (γ)
C) Beta (β)
D) Aleph (ℵ)
  • 31. Who was a notable critic of Cantor's theory of transfinite numbers?
A) Leopold Kronecker
B) Richard Dedekind
C) Gottlob Frege
D) Giuseppe Peano
  • 32. What is the name of the paradox discovered by Bertrand Russell in Frege's work?
A) Cantor's paradox
B) Russell's paradox
C) Frege's contradiction
D) Peano's paradox
  • 33. What symbol did Giuseppe Peano introduce for set membership?
A) Omega (ω)
B) Delta (Δ)
C) Epsilon (ε)
D) Aleph (ℵ)
  • 34. Which notation is used to denote that an object o is a member of a set A?
A) o ∈ A
B) A ∩ o
C) o ⊆ A
D) A ∪ o
  • 35. What is the term for a subset that is not equal to the set it is compared with?
A) Symmetric difference
B) Intersection
C) Union
D) Proper subset
  • 36. What is the set difference of {1, 2, 3} and {2, 3, 4}?
A) {2, 3}
B) {1}
C) {4}
D) {1, 4}
  • 37. What is the symmetric difference of sets {1, 2, 3} and {2, 3, 4}?
A) {1, 2, 3, 4}
B) {1, 4}
C) {1}
D) {2, 3}
  • 38. Which symbol can denote the empty set?
A) ∩
B) {}
C) ∅
D) ∪
  • 39. How can the power set of a set A be denoted?
A) A ∩ P
B) A ∪ P
C) A △ P
D) P(A)
  • 40. Which system of set theory is associated with Willard Van Orman Quine and includes a 'set of everything'?
A) New Foundations (NF)
B) Zermelo–Fraenkel set theory
C) Von Neumann–Bernays–Gödel set theory
D) Morse–Kelley set theory
  • 41. What is the von Neumann universe denoted as?
A) V
B) U
C) N
D) Z
  • 42. What is the term for objects that can be members of sets but are not themselves sets?
A) Elements
B) Urelements
C) Members
D) Subsets
  • 43. Which system of constructive set theory embeds its axioms in intuitionistic logic?
A) CZF (Constructive Zermelo–Fraenkel)
B) Von Neumann–Bernays–Gödel set theory
C) NFU
D) ZFC
  • 44. What is the rank of a pure set containing sets with ranks 0 and 2?
A) 4
B) Undefined
C) 2
D) 3
  • 45. What project includes human-written, computer-verified derivations of theorems starting from ZFC set theory?
A) Isabelle
B) Coq
C) Metamath
D) Lean
  • 46. Who relaxed the condition of membership in set theory to introduce degrees of membership?
A) Abraham Fraenkel
B) Lotfi A. Zadeh
C) Ernst Zermelo
D) Georg Cantor
  • 47. What is the canonical example of an inner model?
A) The constructible universe L developed by Gödel.
B) A model where the axiom of determinacy holds.
C) The von Neumann hierarchy V.
D) An inaccessible cardinal.
  • 48. Who invented the method of forcing?
A) Ernst Zermelo.
B) Georg Cantor.
C) Paul Cohen.
D) Kurt Gödel.
  • 49. Which famous problem in general topology is independent of ZFC?
A) The normal Moore space question.
B) The Poincaré conjecture.
C) The Banach-Tarski paradox.
D) The continuum hypothesis.
  • 50. What did Wittgenstein identify mathematics with?
A) Algorithmic human deduction.
B) Infinite set theory.
C) Homotopy type theory.
D) Topos theory.
  • 51. What is an alternative to traditional axiomatic set theory proposed by category theorists?
A) Homotopy type theory.
B) Set-theoretic topology.
C) Constructive analysis.
D) Topos theory.
  • 52. What is an active area of research related to univalent foundations?
A) Set-theoretic topology.
B) Homotopy type theory.
C) Topos theory.
D) Constructive analysis.
  • 53. In homotopy type theory, how may a set be regarded?
A) As a topological space.
B) As a predicate.
C) As a homotopy 0-type.
D) As an infinite cardinal.
  • 54. Which country attempted to introduce basic set theory to primary school students in the 1960s?
A) Germany
B) Japan
C) France
D) The US
  • 55. What is a common tool used to explain basic set-theoretic relationships to primary school students?
A) Bar graphs
B) Pie charts
C) Line plots
D) Venn diagrams
  • 56. Who originally devised Venn diagrams?
A) John Venn
B) George Boole
C) Augustus De Morgan
D) Leonhard Euler
  • 57. What is the set of integers commonly denoted as?
A) \(\mathbb{N}\)
B) \(\mathbb{Z}\)
C) \(\mathbb{R}\)
D) \(\mathbb{Q}\)
  • 58. What is the set of real numbers commonly denoted as?
A) \(\mathbb{R}\)
B) \(\mathbb{Z}\)
C) \(\mathbb{N}\)
D) \(\mathbb{Q}\)
  • 59. In set theory, what is the term for a semantic or rule description of sets?
A) Operational definition
B) Intensional definition
C) Extensional definition
D) Functional definition
  • 60. Which subject uses set theory to introduce logical operators and semantic descriptions?
A) Biology
B) Physics
C) Chemistry
D) Mathematics education
Created with That Quiz — where a math practice test is always one click away.