Stuck that's in the todo list for the AxiomsOfChoice site:

— Natural number $\to$ First infinite von Neumann ordinal

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

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

— Sequel of (red)

— Exposition (light red)

nikolajs notebook