# Tagged Questions

**11**

votes

**4**answers

703 views

### Is there a least-fixed-point formulation of inaccessible cardinals?

The infinity axiom can be formulated by defining a function $S$ as
$$S(N) = \{0\} \cup \{n+1\\ |\\ n \in N\}$$
(FWIW, I'm assuming the von Neumann ordinals.) The axiom is then
$$\exists I . I = ...