frege54b - Mathbox for Richard Penner

	Mathbox for Richard Penner		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > frege54b		Structured version Visualization version Unicode version

Theorem frege54b 38187

Description: Reflexive equality of sets. The content of

is identical with the content of

. Part of Axiom 54 of [Frege1879] p. 50. Slightly specialized version of eqid 2622. (Contributed by RP, 24-Dec-2019.) (Proof modification is discouraged.)

**Assertion**
Ref	Expression
frege54b

**Proof of Theorem frege54b**
Step	Hyp	Ref	Expression
1		ax-frege54c 38186	1

Colors of variables: wff setvar class

Syntax hints:

This theorem was proved from axioms: ax-frege54c 38186

This theorem is referenced by: (None)

W3C validator