Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
wral
Next ⟩
wrex
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
wral
Description:
Extend wff notation to include restricted universal quantification.
Ref
Expression
Assertion
wral
$${wff}\forall {x}\in {A}\phantom{\rule{.4em}{0ex}}{\phi}$$