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