axiom of infinity (Q920450)
axiom asserting that the set of natural numbers exists
Language:
Current Data About axiom of infinity
(P31) (Q36191904)

(P361) (Q3632199)
(P407)

(P2534) \exists \mathbf{I} \, ( \empty \in \mathbf{I} \, \and \, \forall x \in \mathbf{I} \, ( \, ( x \cup \{x\} ) \in \mathbf{I} ) )
(P143)

(P2579) (Q191849)

(P6104) (Q8487137)