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