Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Infinity
Eight inequivalent definitions of finite set
cfin2
Next ⟩
cfin4
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfin2
Description:
Extend class notation to include the class of II-finite sets.
Ref
Expression
Assertion
cfin2
class
Fin
II