Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Restricted quantification
Restricted existential uniqueness and at-most-one quantifier
wrmo
Next ⟩
df-rmo
Metamath Proof Explorer
Unicode
Structured
Syntax definition
wrmo
Description:
Extend wff notation to include restricted "at most one".
Ref
Expression
Assertion
wrmo
wff E* x e. A ph