∑ZWMath CoursesSyllabusExercises
ES
ZWMath›Set theory›Ordinals and axioms›Construction of the naturals›ZW-CONSTRUCTION-OF-THE-NATURALS-002
Course menu
AreaFoundationsCourseSet theoryTopicOrdinals and axioms
Operations and families6
  • Set membership
  • Union of families
  • Intersection of families
  • Relative complement
  • Power set
  • Subset Modern algebra I
Relations and functions9
  • Binary relation
  • Equivalence relation
  • Equivalence class
  • Injective function
  • Surjective function
  • Bijective function
  • Image and preimage
  • Composition and inverse
  • Cartesian product Modern algebra I
Cardinals7
  • Finite set
  • Infinite set
  • Equipotence
  • Countable set
  • Cantor's diagonal theorem
  • Cardinal number
  • Schröder–Bernstein theorem
Ordinals and axioms8
  • Well-ordering
  • Transfinite induction
  • Axiom of choice
  • Zorn's lemma
  • Zermelo–Fraenkel axioms
  • Construction of the naturals
  • Construction of the reals
  • Partial order relation Discrete mathematics

Exercise · ZW-CONSTRUCTION-OF-THE-NATURALS-002 · ★☆☆ Basic

What set is \(0\) in this construction?

Choose one option.

Show answer
  • A. \(\varnothing\)

← Back to the question

Explanation

The number zero is defined as the empty set.

Study Set theory in ZWMath →

Review the concept: Construction of the naturals

The natural numbers are a set \(\mathbb{N}\) built inside set theory as finite ordinals, where each natural is the set of all naturals smaller than it.

\[n^+ = n \cup \{n\}\]

More practice problems: construction of the naturals

  • ZW-CONSTRUCTION-OF-THE-NATURALS-001 What is the set 1 in the von Neumann construction?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-003 How many elements does the natural 4 have?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-004 What is the successor of 2?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-005 Compute 2^+ using the definition of successor.
  • ZW-CONSTRUCTION-OF-THE-NATURALS-006 How many elements does 3^+ have?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-007 If n=\0,1\, what is n^+?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-008 What is the set ℕ∩\0,1,2\ of naturals less than 3?
  • ZW-CONSTRUCTION-OF-THE-NATURALS-009 Let A=\x∈ℕ: xne 0\. Which statement correctly shows that A is not inductive?

← ZW-CONSTRUCTION-OF-THE-NATURALS-001 ZW-CONSTRUCTION-OF-THE-NATURALS-003 →

Practice

⏱Exam simulator10 random questions with a grade☰All exercises
◉Open on course✦Open on free study↗Open on the map

ZWMath · Math from definition to practice. Open the interactive map · Syllabus · All exercises

Author: ORCID iD 0009-0009-8641-3511

Privacy · About Speedrunz · Contact