Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - start with the Axiom of Extensionality
Negated equality and membership
Negated equality
wne
Next ⟩
df-ne
Metamath Proof Explorer
Unicode
Structured
Syntax definition
wne
Description:
Extend wff notation to include inequality.
Ref
Expression
Assertion
wne
wff A =/= B