Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Infinity
Cardinal numbers
cale
Next ⟩
ccf
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cale
Description:
Extend class definition to include the aleph function.
Ref
Expression
Assertion
cale
class aleph