Constructive proof
article-link
What links here
Errett Bishop
Reverse mathematics
article-link
Paul Halmos
article-link
Existence theorem
article-link
Constructive analysis
article-link
Foundations of mathematics
article-link
Newton, Kansas
article-link
Philosophy of mathematics
article-link
Stone–Weierstrass theorem
article-link
Set theory
article-link
Nonstandard analysis
article-link
Nominalism
article-link
Constructivism (philosophy of mathematics)
article-link
Banach space
article-link
Axiom of choice
article-link