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 GIF version

Theorem frege54b 43847

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 2734. (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 43846	1 ⊢ 𝑥 = 𝑥

Colors of variables: wff setvar class

Syntax hints:

This theorem was proved from axioms: ax-frege54c 43846

This theorem is referenced by: (None)

W3C validator