List of theorems referencing the symbol S_INF

(2) Theorem 00: [Axiom of Infinity] (s_inf /= 0) & (FORALL x in s_inf | {x} in s_inf)
(31) Theorem 20: [Ultimate members of the basic infinite set] (X in s_inf) •imp (membs_x(S,{X}) = membs_x(S,X) + Un(membs_x(S,X)))
(239) Theorem 198: [The basic infinite set is not finite] not(Finite(s_inf))
(240) Theorem 199: [Infinite cardinality theorem] not Finite(#s_inf)