wl-section-boot - Mathbox for Wolf Lammen

	Mathbox for Wolf Lammen		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > wl-section-boot		Structured version Visualization version GIF version

Theorem wl-section-boot 37357

Description: In this section, I provide the first steps needed for convenient proving. The presented theorems follow no common concept other than being useful in themselves, and apt to rederive ax-1 6, ax-2 7 and ax-3 8. (Contributed by Wolf Lammen, 17-Dec-2018.) (New usage is discouraged.) (Proof modification is discouraged.)

**Hypothesis**
Ref	Expression
wl-section-boot.hyp	⊢ 𝜑

**Assertion**
Ref	Expression
wl-section-boot	⊢ 𝜑

**Proof of Theorem wl-section-boot**
Step	Hyp	Ref	Expression
1		wl-section-boot.hyp	1 ⊢ 𝜑

Colors of variables: wff setvar class

This theorem is referenced by: (None)

W3C validator