===== AoC edits =====
==== Meta ====
-----
Stuck that's in the **todo** list for the AxiomsOfChoice site:

== entries ==
--- [[Natural number]] $\to$ [[First infinite von Neumann ordinal]]

--- ==== Discussion ==== $\to$ 5-

--- ==== Parents ==== $\to$ 5-

== graph ==
--- Sequel of (red)

--- Exposition (light red)

-----
=== Related ===
[[nikolajs notebook]]