(Q3760902)

English

von Neumann ordinal

implementation of an ordinal as the set of all ordinals strictly less than it

Statements

Identifiers

 
edit
edit
    edit
      edit
        edit
          edit
            edit
              edit
                edit