Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
wrmo
Next ⟩
crab
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
wrmo
Description:
Extend wff notation to include restricted "at most one."
Ref
Expression
Assertion
wrmo
$${wff}{\exists}^{*}{x}\in {A}{\phi}$$