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