The Wayback Machine - https://web.archive.org/web/20131009202030/http://mathworld.wolfram.com/topics/FoundationsofMathematics.html


Foundations of Mathematics

Axioms (40)
Category Theory (48)
Logic (6)
Mathematical Problems (6)
Point-Set Topology@
Set Theory (11)
Theorem Proving (2)

Wolfram Web Resources

Mathematica »

The #1 tool for creating Demonstrations and anything technical.

Wolfram|Alpha »

Explore anything with the first computational knowledge engine.

Wolfram Demonstrations Project »

Explore thousands of free applications across science, mathematics, engineering, technology, business, art, finance, social sciences, and more.

Computable Document Format »

The format that makes Demonstrations (and any information) easy to share and interact with.

STEM initiative »

Programs & resources for educators, schools & students.

Computerbasedmath.org »

Join the initiative for modernizing math education.