Pages that link to "Metamath"
← Metamath
The following pages link to Metamath:
Displaying 23 items.
- First-order logic (← links)
- Propositional calculus (← links)
- Ordered pair (← links)
- Set theory (← links)
- Zorn's lemma (← links)
- Zermelo–Fraenkel set theory (← links)
- New Foundations (← links)
- Non-well-founded set theory (← links)
- Proof assistant (← links)
- 0.999... (← links)
- Condensed detachment (← links)
- Tarski–Grothendieck set theory (← links)
- Hilbert system (← links)
- Philosophy of logic (← links)
- Friendship graph (← links)
- Glossary of Principia Mathematica (← links)
- Language model benchmark (← links)
- Testwiki:Reference desk/Archives/Mathematics/2006 September 28 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2006 October 9 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2009 November 9 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2011 June 24 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2011 August 13 (← links)
- Testwiki:Reference desk/Archives/Mathematics/2015 February 21 (← links)