^^^^^^^^^^^^^^^^^^
CB: I remember when I was in elementary school there was some "New Math" or something, SMSG, and they were teaching us elementary set theory, associative, distributive, etc. What's ur opinion of the Russsell-Whitehead project, Chuck ? I get the impression that Goedel's proof makes it something of a failure.