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