Third, until early in the last century the objective of mathematics was to reduce all results to logical derivations from a few axioms. Along came the German mathematician Kurt Goedel. Goedel proved, using the Axiom of Choice, that except in trivially simple logical systems you cannot produce a simple set of axioms that describe all mathematical results. That is, in…