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
Unicode
Structured
Syntax definition
cfin5
Description:
Extend class notation to include the class of V-finite sets.
Ref
Expression
Assertion
cfin5
class Fin5