自然數
Steinitz 數 (Steinitz number。超自然數 (supernatural number)。一般化された自然数 (generalized natural number))
實數$ \Rの全ての歸納的な部分集合$ X_i~_{\subseteq\R}の族$ \{X_i\}_{i_{\in\Lambda}}の共通部分$ \bigcap_{i\in\Lambda}X_iを自然數$ \Nと呼ぶ $ \varnothing\in X
$ x\in Xならば$ x\cup\{x\}\in X
topos$ \bf Eの對象$ Nは、$ 1\xrightarrow{\zeta}N\xrightarrow{\sigma}Nとなる圖式の中で餘普遍的なもので定まるなら自然數對象 (NNO) と呼ぶ