Presents the foundations of mathematics, examined by reference to such crucial concepts as the informational independence of quantifiers, the standard-nonstandard distinction, completeness, computability, parallel processing and the extremality of models.