Database
ZF (ZERMELO-FRAENKEL) SET THEORY
ZF Set Theory - add the Axiom of Power Sets
Founded and well-ordering relations
wwe
Next ⟩
df-fr
Metamath Proof Explorer
Ascii
Structured
Syntax definition
wwe
Description:
Extend wff notation to include the well-ordering predicate. Read: "
R
well-orders
A
".
Ref
Expression
Assertion
wwe
wff
𝑅
We
𝐴