EditSafely

Generate von Neumann Ordinals

Build the von Neumann construction of the natural numbers. Runs entirely in your browser, so your data never leaves your device.

Output

The result appears here as you type.

Options

How to use Generate von Neumann Ordinals

  1. 1. Choose how many ordinals. Set How many to decide how many natural numbers to construct, starting from the empty set representing zero.
  2. 2. Read the set construction. Each ordinal is built as the set containing all previous ordinals, so 1 becomes the set containing the empty set, and 2 becomes the set containing 0 and 1.
  3. 3. Copy the notation. Copy the resulting nested-brace notation from the output pane and use it in a set theory writeup, lecture note or reference document.

When to use Generate von Neumann Ordinals

Generate von Neumann Ordinals builds the standard set-theoretic construction of the natural numbers, where each number is defined as the set of all smaller numbers. Use it when studying or teaching how numbers can be built purely from the empty set and set membership.

  • Studying foundations of mathematics. You are working through a set theory or foundations of mathematics course and want to see the von Neumann construction written out for the first several ordinals.
  • Preparing lecture notes on ordinal numbers. An instructor needs a correctly formatted example of the von Neumann ordinals to include in slides explaining how natural numbers arise from set theory.
  • Verifying a homework proof. A student is proving a property about the successor function on von Neumann ordinals and wants to check the construction of the first few numbers matches their proof.
  • Comparing ordinal construction schemes. You want to see how the von Neumann construction differs from the Zermelo construction by generating both and comparing the nested-brace output side by side.

Examples

The first three ordinals

Input

Output
{}
{{}}
{{}, {{}}}
The first five ordinals
Input
Output
{}
{{}}
{{}, {{}}}
{{}, {{}}, {{}, {{}}}}
{{}, {{}}, {{}, {{}}}, {{}, {{}}, {{}, {{}}}}}
About the Generate von Neumann Ordinals tool
Generate von Neumann Ordinals does its work locally, right in the browser. Build the von Neumann construction of the natural numbers. There is no upload step, no queue and no account, and your data never travels over the network.
It belongs to the Integer Tools collection on EditSafely, a set of 133 small, focused Integer utilities that share the same instant, private workspace.
You can shape the output with the How many setting, and the result refreshes the moment you change it. 2 worked examples further down the page show exactly what the tool produces for real inputs.
Running locally also makes the tool fast and dependable: results appear as you type or drop a file, there is no server outage that can take it down mid-task, and confidential data can be processed without a second thought.
Frequently asked questions
Does Generate von Neumann Ordinals cost anything?
Yes, it is completely free. All 2,658 tools on EditSafely work without an account, a subscription or usage limits.
Does the generator send anything to a server?
No data leaves your device. The whole tool is JavaScript that runs inside your browser tab, so there is no upload, no server-side processing and no log of what you did. If you disconnect from the internet after the page loads, it keeps working.
How do I get a different result?
Run the generator again. Each run is computed fresh on your device, and any options you change are applied to the next result immediately.
Do I need to sign up or install anything?
Nothing to install and no account needed. Open the page in any up-to-date browser, including on a phone or tablet, and the tool is ready.
How do I use the result?
The output panel has a one-click copy button, and you can keep refining the input while you work; the result updates in place as you type.
Related tools
All Integer Tools →
Generate Zermelo Ordinals
Build the Zermelo set-theoretic ordinals as nested braces.
Draw the Von Neumann Universe
Draw the cumulative hierarchy V₀ ⊂ V₁ ⊂ V₂ … as nested boxes.
Enumerate Integers
Generate an ordered sequence of integers.
Create an Integer Array
Turn a list of integers into a programming-language array.