Mathematics in the 20th century was marked by an extensive discussion of its foundations. The subdisciplines set theory, model theory and proof theory emerged at least partly as scientific methods for foundational research511. The task of giving mathematics a foundation was taken up by the mathematicians themselves as well as by philosophers.
KeywordsCategory Theory Mathematical Practice Elementary Characterization Topo Theory Categorial Foundation
Unable to display preview. Download preview PDF.