Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for BJ
First-order logic
Membership predicate, ax-8 and ax-9

Next ⟩ bj-ax89

Metamath Proof Explorer

Ascii
Unicode

Table of Contents - 21.20.4.8. Membership predicate, ax-8 and ax-9

bj-ax89
bj-cleljusti