Showing Text From Page | View full page with images

[No text on this page]

Captions on this page:

Further axiom systems for traditional mathematics. The typical interpretations are relevant for applications, though not for formal derivation of theorems. The last two axioms listed for set theory are usually considered optional.

From Stephen Wolfram: A New Kind of Science [citation]