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
Structured

Syntax definition cfin5

Description: Extend class notation to include the class of V-finite sets.

		Ref	Expression
	Assertion	cfin5	class Fin^V