Browse New Popular Keyword Cloud Advanced Search Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports

Metamath Proof Explorer

metamath.org
Visit Site

Over 3000 complete formal proofs deriving numbers and beyond from Zermelo-Fraenkel set theory axioms.

Category
Set Theory
Visits
296
Added
Jan 28, 2025
Rating
(32)
Rate This Site
More in Set Theory Report
QR Code
QR code Download PNG
Embed Badge
Place this code on your website to show you're listed here.
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Programming with Sets 477 visits
New Foundations 472 visits
The Axiom of Choice 375 visits
Infinite Ink: The Continuum Hypothesis, by Nancy McGough 373 visits
Set Theoretic Analysis. 300 visits
Get the best links delivered weekly — hand-picked from 1,200,810 resources