alfred north whitehead axiom begriffsschrift bertrand russell formal system foundations of mathematics geometry gottlob frege information processing language ivor grattan-guinness metamath modern library organon paradox philosophy real analysis set of all sets set theory stanford encyclopedia of philosophy symbolic logic