Mathematics constructively proven. Not available in year 2001. Will it ever be?

---

SECOND CLASS MATHEMATICS

Mathematics nonconstructively proven.

---

THIRD CLASS MATHEMATICS

Mathematics presented "intuitively". A mixture of these three CLASSES is the standard fare.