Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
wral
Next ⟩
wrex
Metamath Proof Explorer
Unicode
Structured
Syntax definition
wral
Description:
Extend wff notation to include restricted universal quantification.
Ref
Expression
Assertion
wral
wff A. x e. A ph